⊢

See also: ⊬ and ㅏ
⊢ U+22A2, ⊢
RIGHT TACK
← ⊡
[U+22A1] 		Mathematical Operators ⊣ →
[U+22A3]
⊦ U+22A6, ⊦
ASSERTION
← ⊥
[U+22A5] 		Mathematical Operators ⊧ →
[U+22A7]

Translingual

Etymology

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

Symbol

⊢

  1. (logic) proves; it is provable

Antonyms

See also
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.