(Redirected from )
U+22A8, ⊨
(LaTeX: \models)
TRUE

[U+22A7]
Mathematical Operators
[U+22A9]
U+22A7, ⊧
MODELS

[U+22A6]
Mathematical Operators
[U+22A8]
See also: and

Contents

TranslingualEdit

SymbolEdit

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

AntonymsEdit

See alsoEdit