⊢
|
|
Translingual edit
Etymology edit
⊢ developed from ⊦, used to signify assertions in Principia Mathematica; in turn derived from idiosyncratic two-dimensional notation for logic employed in Begriffsschrift.
Symbol edit
⊢
|
|
⊢ developed from ⊦, used to signify assertions in Principia Mathematica; in turn derived from idiosyncratic two-dimensional notation for logic employed in Begriffsschrift.
⊢