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] Logical equivalence vDashv

logicsymbols

###### Related Question

- [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

## Best Answer

While

`mathabx`

has some symbols that might help, using it means changingallsymbol fonts and this, in general, is not desirable.Here's a possible way to do it: superimpose a

`\vDash`

symbol to its reflected copy.I've also defined a

`\Dashv`

command with the reflected symbol.See \subseteq + \circ as a single symbol ("open subset") for a quick introduction to

`\ooalign`

.