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

enter image description here

Share:
4,935

Related videos on Youtube

Silent Control
Author by

Silent Control

Computer Engineering student. C & C++ minion | Bash shell scripting adept | Java novice | Assembly novice

Updated on August 01, 2022

Comments

  • Silent Control
    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
      Raaja_is_at_topanswers.xyz over 6 years
      If I understood you correctly, are you trying to use something similar to \models relative operator\symbol (whatever :D)?
    • campa
      campa over 6 years
  • Silent Control
    Silent Control over 6 years
    Yea, it's the double turnstile symbol.
  • campa
    campa over 6 years
    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 :-).
  • Raaja_is_at_topanswers.xyz
    Raaja_is_at_topanswers.xyz over 6 years
    @campa Didnt knew it before :) Thanks for the note.
  • Raaja_is_at_topanswers.xyz
    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
    Raaja_is_at_topanswers.xyz over 6 years
    @Campa Updated the answer with \vDash as well.