1 Answers
In mathematical logic and computer science the symbol ⊢ {\displaystyle \vdash } has taken the name turnstile because of its resemblance to a typical turnstile if viewed from above. It is also referred to as tee and is often read as "yields", "proves", "satisfies" or "entails".
4 views
Answered