Last modified on 26 December 2014, at 22:04

See also: [U+3151 HANGUL LETTER YA]
Character
Unicode name TRUE
Code point U+22A8
Unicode block Mathematical Operators
LaTeX input \models
[U+22A7] [U+22A9]
Character
Unicode name MODELS
Code point U+22A7
Unicode block Mathematical Operators
[U+22A6] [U+22A8]

TranslingualEdit

SymbolEdit

  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

AntonymsEdit

See alsoEdit