Take the 2-minute tour ×
TeX - LaTeX Stack Exchange is a question and answer site for users of TeX, LaTeX, ConTeXt, and related typesetting systems. It's 100% free, no registration required.

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
add comment

2 Answers

up vote 6 down vote accepted

\models in the standard fonts is a made up symbol

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

So you could do a matching combination:

\documentclass{article}


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

\begin{document}

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

\end{document}

result

share|improve this answer
add comment

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

\newcommand{\rmodels}{\ensuremath{\mathrel{=\!\!\!|}}}

Semantic equivalence can, for example, look like this:

\newcommand{\semeq}{\ensuremath\mathrel{\rmodels\!\models}}}

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
add comment

Your Answer

 
discard

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.