The LaTeX command for models (⊨) is \models (models / satisfies).
\modelsWriting a paper? The table generator and the BibTeX cleaner are one click away, no account.
Write \models inside math mode, that is between $…$ for inline math or in a \[ … \] or equation block for display math. It is part of core LaTeX math, so no extra package is required.
As a relation, \models gets a thick space on each side, and a long inline formula may break after it. With unicode-math under XeLaTeX or LuaLaTeX, typing ⊨ in a formula gives the same symbol.
$a \models b$Open this example in the live preview: it renders as you type, with no compiler and no signup.
Relation symbols in LaTeX: the full table or search all 350+ LaTeX symbols.
Use \models in math mode; it needs no extra package. For example, $a \models b$.
None: \models is built into LaTeX, so no extra package is required.