⊨

See also: ⊭ and ㅑ

⊨ U+22A8, ⊨ TRUE ← ⊧ [U+22A7] Mathematical Operators ⊩ → [U+22A9]

⊧ U+22A7, ⊧ MODELS ← ⊦ [U+22A6] Mathematical Operators ⊨ → [U+22A8]

Translingual

Symbol

⊨

1. (mathematics, logic) models, satisfies

   $\mathbf {V} _{\omega }\models {\mathsf {ZFC^{fin}}}$

2. (mathematics, logic) semantic consequence

   $T\models \varphi$ if and only if $T\vdash \varphi$

Antonyms

• ⊭

See also

• ⊢