0

This question already has an answer here:

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 May 17 '17 at 9:40

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

  • 1
    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
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

enter image description here

  • 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

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