4
$\begingroup$

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

$\endgroup$
5
$\begingroup$

How about $=\hspace{-.5em}||\hspace{-.5em}=$

$=\hspace{-.5em}||\hspace{-.5em}=$

$\endgroup$
5
  • 1
    $\begingroup$ Good, thanks :) $\endgroup$
    – Mauro ALLEGRANZA
    Apr 14 '15 at 12:01
  • 1
    $\begingroup$ @MauroALLEGRANZA If not required for Mathjax, see here or here. $\endgroup$
    – martin
    Apr 14 '15 at 12:08
  • $\begingroup$ Why not $=\hspace{-.5em}|\models$? $\endgroup$
    – Asaf Karagila Mod
    Apr 14 '15 at 15:22
  • $\begingroup$ @AsafKaragila On my display the spacing of =\hspace{-.5em}|\models is wider than the answer. Not sure if that is wanted. $\endgroup$
    – AlexR
    Apr 15 '15 at 7:46
  • $\begingroup$ You may want to put your symbol inside \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

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .