I need to create a symbol logical equivalence. Contact vDash with appropriate vertical line, but I can not find any. Can you advise?
- [Tex/LaTex] Double-nested logical-and and logical-or symbols
- [Tex/LaTex] creating implication and equivalence symbols of intermediate length
- [Tex/LaTex] What command to use for reversed $\vDash$
- [Tex/LaTex] \bot like symbol with two horizontal lines
- [Tex/LaTex] How to typeset a long vdash with symbols on top and bottom