turnstile

Also known as tee, yields, proves

In mathematical logic and computer science the symbol ⊢ has taken the name turnstile because of its resemblance to a typical turnstile. It is also referred to as tee and is often read as "yields", "proves", "satisfies" or "entails".

Overview

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 The turnstile represents a binary relation. It has several different interpretations in different contexts: In epistemology, Per Martin-Löf (1996) analyzes the symbol thus: "...[T]he combination of Frege's , judgement stroke [ | ], and , content stroke [—], came to be called the assertion sign." Frege's notation for a judgement of some content can then be read I know is true. In the same vein, a conditional assertion

From Wikipedia (CC BY-SA 4.0).

Also known as tee, yields, proves