Turnstile (symbol)

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".