Latex math symbol |=
4,935
I think what you are trying to achieve is a relative operator defined by \models
I think you can use this
\documentclass{article}
\begin{document}
$c\models C$
\end{document}
to get as shown below
Moreover, as @campa pointed out try looking up for the symbol as well.
Also, another option is using \vDash
(as ''campa'' pointed told us in comments) that is available in amssymb
package.
\documentclass{article}
\usepackage{amssymb}
\begin{document}
$c\vDash C$
\end{document}
to get
Related videos on Youtube
Author by
Silent Control
Computer Engineering student. C & C++ minion | Bash shell scripting adept | Java novice | Assembly novice
Updated on August 01, 2022Comments
-
Silent Control over 1 year
Is there a command for this symbol in Latex? |=. If I use | and = in the source code, then in the pdf there is a big gap between them.
The symbol is from math (from logical clauses). I'm not exactly sure how to translate it in english, it kinda means "resolves" and it used like this c |= C.
-
Raaja_is_at_topanswers.xyz over 6 yearsIf I understood you correctly, are you trying to use something similar to
\models
relative operator\symbol (whatever :D)? -
campa over 6 yearsRelated: tex.stackexchange.com/q/14/82917.
-
-
Silent Control over 6 yearsYea, it's the double turnstile symbol.
-
campa over 6 yearsThere is also
\vDash
from theamssymb
package which looks quite similar. Technical note: pinging with '@name' doesn't work in questions and answers, only in comments:-)
. -
Raaja_is_at_topanswers.xyz over 6 years@campa Didnt knew it before :) Thanks for the note.
-
Raaja_is_at_topanswers.xyz over 6 years@SilentControl Honestly, I don't know what a 'double turnstile symbol' is. So, I hope this helps.
-
Raaja_is_at_topanswers.xyz over 6 years@Campa Updated the answer with
\vDash
as well.