Models in LaTeX

The LaTeX command for models (⊨) is \models — models / satisfies.

\models

Relations · Unicode ⊨ (U+22A8) · no package needed

How to type Models

Write \models inside math mode — that is, between $…$ for inline math or in a \[ … \] / equation block for display math. It is part of core LaTeX math, so no extra package is required.

Example

$a \models b$

a \models b

Prefer to see it live? Paste it into the LaTeX preview and it renders as you type — no compiler, no signup.

Related Relations symbols

=\neq<>\leq\geq\leqslant\geqslant\ll\gg\equiv\sim\simeq\approx

Search all 380+ LaTeX symbols →

FAQ

How do you write models (⊨) in LaTeX?

Use \models in math mode — it needs no extra package. For example, $a \models b$.

Which package provides \models?

None — \models is built into LaTeX's math mode, so no extra package is required.

loading tool…