Definition from Wiktionary, the free dictionary
(Redirected from )
Jump to: navigation, search
U+22A2, ⊢
(LaTeX: \vdash)
RIGHT TACK

[U+22A1]
Mathematical Operators
[U+22A3]
U+22A6, ⊦
ASSERTION

[U+22A5]
Mathematical Operators
[U+22A7]
See also: and

Translingual[edit]

Etymology[edit]

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

Symbol[edit]

  1. (logic) proves; it is provable

Antonyms[edit]

See also[edit]