(Redirected from )
See also: and
U+22A8, ⊨
TRUE

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

[U+22A6]
Mathematical Operators
[U+22A8]

TranslingualEdit

SymbolEdit

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

AntonymsEdit

See alsoEdit