(Redirected from )
See also: and
Character U+22A8, ⊨
Name TRUE
Block Mathematical Operators
LaTeX input \models
[U+22A7] [U+22A9]
Character U+22A7, ⊧
Name MODELS
Block Mathematical Operators
[U+22A6] [U+22A8]

Contents

TranslingualEdit

SymbolEdit

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

AntonymsEdit

See alsoEdit