# Latex math symbol |= [duplicate]

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.

## marked as duplicate by Schweinebacke, egreg symbols StackExchange.ready(function() { if (StackExchange.options.isMobile) return; $('.dupe-hammer-message-hover:not(.hover-bound)').each(function() { var$hover = $(this).addClass('hover-bound'),$msg = $hover.siblings('.dupe-hammer-message');$hover.hover( function() { $hover.showInfoMessage('', { messageElement:$msg.clone().show(), transient: false, position: { my: 'bottom left', at: 'top center', offsetTop: -7 }, dismissable: false, relativeToBody: true }); }, function() { StackExchange.helpers.removeMessages(); } ); }); }); May 17 '17 at 9:40

• If I understood you correctly, are you trying to use something similar to \models relative operator\symbol (whatever :D)? – Raaja May 17 '17 at 9:16
• Related: tex.stackexchange.com/q/14/82917. – campa May 17 '17 at 9:18

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

• Yea, it's the double turnstile symbol. – Silent Control May 17 '17 at 9: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 9:25
• @campa Didnt knew it before :) Thanks for the note. – Raaja May 17 '17 at 9:26
• @SilentControl Honestly, I don't know what a 'double turnstile symbol' is. So, I hope this helps. – Raaja May 17 '17 at 9:27
• @Campa Updated the answer with \vDash as well. – Raaja May 17 '17 at 9:33