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


1 Answer 1


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


  • 1
    $\begingroup$ Good, thanks :) $\endgroup$ Apr 14, 2015 at 12:01
  • 1
    $\begingroup$ @MauroALLEGRANZA If not required for Mathjax, see here or here. $\endgroup$
    – martin
    Apr 14, 2015 at 12:08
  • $\begingroup$ Why not $=\hspace{-.5em}|\models$? $\endgroup$
    – Asaf Karagila Mod
    Apr 14, 2015 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, 2015 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$ Apr 15, 2015 at 12:00

You must log in to answer this question.

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