⊨

See also: ⊭ and ㅑ

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

• ⊢