Definition from Wiktionary, the free dictionary
Jump to: navigation, search
U+22A8, ⊨
(LaTeX: \models)
TRUE

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

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

Translingual[edit]

Symbol[edit]

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

Antonyms[edit]

See also[edit]