⊨

From testwiki
Revision as of 07:51, 13 July 2020 by imported>ToilBot (removed |latex= parameter to T:character info)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Template:Also Template:Character info Template:Character info

Translingual

Symbol

Template:Head

  1. Template:Lb models, satisfies
    𝐕ω⊨𝖹𝖥𝖢𝖿𝗂𝗇
  2. Template:Lb semantic consequence
    T⊨φ if and only if T⊢φ

Antonyms

See also

Retrieved from "https://en.wiktionary.beta.math.wmflabs.org/w/index.php?title=⊨&oldid=605"