TeX - LaTeX Stack Exchange is a question and answer site for users of TeX, LaTeX, ConTeXt, and related typesetting systems. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

How to get the $\models$-symbol vice-versa to form a symbol for semantically equivalent like the following: =||=

share|improve this question
I'm not sure what's being asked here. Can you provide a little more? – qubyte May 17 '12 at 11:41
this symbol is now in unicode as Ux27DA and will ultimately be included in unicode-compliant math fonts with (presumably) the command name \DashVDash. – barbara beeton May 17 '12 at 12:42
up vote 6 down vote accepted

\models in the standard fonts is a made up symbol


So you could do a matching combination:


%  \models{\mathrel{|}\joinrel\Relbar}


\[A \models B\]
\[A \sledommodels B\]



share|improve this answer
Any particular reason for preferring \mathrel{\|} over \parallel, which is already mathrel? – dubiousjim Aug 19 '14 at 1:10
@dubiousjim not really (at least not from me;-) I just copied the definition of \models and reflected it. – David Carlisle Aug 19 '14 at 8:16

If you are in a LaTeX-only environment (for example, MathJax), consider this:


Semantic equivalence can, for example, look like this:


The result (pdflatex):

enter image description here

Depending on your context of conventions, \models\rmodels might be what you want:

enter image description here

share|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.