Latex math symbol |=

Question

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.

If I understood you correctly, are you trying to use something similar to \models relative operator\symbol (whatever :D)? — Raaja_is_at_topanswers.xyz, May 17 '17 at 09:16

Raaja_is_at_topanswers.xyz · Accepted Answer · 2017-05-17T09:31:55.243

2

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

edited May 17 '17 at 09:31

answered May 17 '17 at 09:23

Raaja_is_at_topanswers.xyz

648
4
20
53

Yea, it's the double turnstile symbol. – Silent Control May 17 '17 at 09:24
There is also \vDash from the amssymb package which looks quite similar. Technical note: pinging with '@name' doesn't work in questions and answers, only in comments :-). – campa May 17 '17 at 09:25
@campa Didnt knew it before :) Thanks for the note. – Raaja_is_at_topanswers.xyz May 17 '17 at 09:26
@SilentControl Honestly, I don't know what a 'double turnstile symbol' is. So, I hope this helps. – Raaja_is_at_topanswers.xyz May 17 '17 at 09:27
@Campa Updated the answer with \vDash as well. – Raaja_is_at_topanswers.xyz May 17 '17 at 09:33

Latex math symbol |=

1 Answers1