⊢

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)  proves; it is provable
 * $$\mathsf{PA} \vdash \forall a \ \forall b : a + b = b + a$$