For the "entailment" relation we have $\models$ (\models or \vDash).
Sometimes I need "logical equivalence", sometimes symbolized as "=||=".
Question : where I can find $\leftmodels$ or one of its equivalent ?
Thanks in advance
How about $=\hspace{-.5em}||\hspace{-.5em}=$
$=\hspace{-.5em}||\hspace{-.5em}=$
=\hspace{-.5em}|\models
is wider than the answer. Not sure if that is wanted.
$\endgroup$
– AlexR
Apr 15 '15 at 7:46
\mathrel{...}
so that it acts as a relation (and as a unit rather then several separate characters).
$\endgroup$
– Davide Cervone
Apr 15 '15 at 12:00