⊢

⊢

See also: ⊬ and ㅏ

⊢ U+22A2, ⊢ (LaTeX: \\vdash) 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

   ${\\displaystyle {\\mathsf {PA}}\\vdash \\forall a\\ \\forall b:a+b=b+a}$

Antonyms

• ⊬

See also

• ⊨