⊢
(Redirected from ⊦)
|
|
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.
⊢