View source for ⊢

{{also|⊬|ㅏ}}
{{character info|0x22a2}}
{{character info|0x22a6}}
==Translingual==

===Etymology===
{{m|mul|⊢}} developed from {{m|mul|⊦}}, used to signify assertions in ''[[w:Principia Mathematica|Principia Mathematica]]''; in turn derived from idiosyncratic two-dimensional notation for logic employed in ''[[w:Begriffsschrift|Begriffsschrift]]''.

===Symbol===
{{head|mul|symbol}}

# {{lb|mul|logic}} [[proves]]; it is [[provable]]
#: <math>\mathsf{PA} \vdash \forall a \ \forall b : a + b = b + a</math>

====Antonyms====
* {{l|mul|⊬}}

===See also===
* {{l|mul|⊨}}