(Redirected from )
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]

Contents

TranslingualEdit

SymbolEdit

  1. (mathematics, logic) models, satisfies
  2. (mathematics, logic) semantic consequence
    if and only if

AntonymsEdit

See alsoEdit