Turnstile (symbol) - Wikipedia

In mathematical logic and computer science the symbol ⊢ () 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". Interpretations[edit] The turnstile represents a binary relation. It has several different interpretations in different contexts: In epistemolo

[isseium]

TeX でも vdash か "In TeX, the turnstile symbol \vdash is obtained from the command \vdash"