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.


I think what you are trying to achieve is a relative operator defined by \models

I think you can use this

    $c\models C$

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.

    $c\vDash C$

to get

enter image description here

| improve this answer | |
  • 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 is not active on TEXSE May 17 '17 at 9:26
  • @SilentControl Honestly, I don't know what a 'double turnstile symbol' is. So, I hope this helps. – Raaja is not active on TEXSE May 17 '17 at 9:27
  • @Campa Updated the answer with \vDash as well. – Raaja is not active on TEXSE May 17 '17 at 9:33

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