Wikidata facts
Show 2 more facts
- Unicode character
- ⊨
- TeX string
- \vDash
via Wikidata · CC0
Connections
logic
Entity
International Standard Book Number
Entity
syntax
Entity
mathematical logic
Entity
semantics
Entity
LaTeX
Entity
typography
Entity
subset
Entity
tilde
Entity
list of mathematical symbols
Entity
logical contradiction
Entity
logical negation
Entity
logical disjunction
Entity
logical conjunction
Entity
TeX
Entity
if and only if
Entity
&
Entity
material implication
Entity
tautology
Entity
model theory
Entity