Definition from Wiktionary, the free dictionary
(Redirected from )
Jump to: navigation, search
See also: [U+314F HANGUL LETTER A]
Character
Unicode name RIGHT TACK
Code point U+22A2
Unicode block Mathematical Operators
LaTeX input \vdash
[U+22A1] [U+22A3]
Character
Unicode name ASSERTION
Code point U+22A6
Unicode block Mathematical Operators
[U+22A5] [U+22A7]

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
    \mathsf{PA} \vdash \forall a \ \forall b : a + b = b + a

Antonyms[edit]

See also[edit]