Definition from Wiktionary, the free dictionary
(Redirected from )
Jump to: navigation, search
Character
Unicode name TRUE
Code point U+22A8
Entity number ⊨
Unicode block Mathematical Operators
LaTeX input \models
[U+22A7] [U+22A9]
Character
Unicode name MODELS
Code point U+22A7
Entity number ⊧
Unicode block Mathematical Operators
[U+22A6] [U+22A8]
See also: [U+3151 HANGUL LETTER YA]

Translingual[edit]

Symbol[edit]

  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[edit]

See also[edit]