Last modified on 19 December 2014, at 21:00

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
    \mathbf{V}_\omega \models \mathsf{ZFC^{fin}}

Coordinate termsEdit