⊢

Translingual

Etymology

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

Symbol

1. Template:Lb proves; it is provable

   $𝖯𝖠⊢\mathrm{\forall }a\mathrm{\forall }b:a+b=b+a$

Antonyms

• Template:L

See also

• Template:L