⊢

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

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

Antonyms

• ⊬

See also

• ⊨