(Redirected from )
See also: and
Character U+22A2, ⊢
Name RIGHT TACK
Block Mathematical Operators
LaTeX input \vdash
[U+22A1] [U+22A3]
Character U+22A6, ⊦
Name ASSERTION
Block Mathematical Operators
[U+22A5] [U+22A7]

Contents

TranslingualEdit

EtymologyEdit

developed from , used to signify assertions in Principia Mathematica; in turn derived from idiosyncratic two-dimensional notation for logic employed in Begriffsschrift.

SymbolEdit

  1. (logic) proves; it is provable

AntonymsEdit

See alsoEdit