Common
Turnstile (symbol)
Symbol in mathematical logic
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. It is also referred to as tee and is often read as "yields", "proves", "satisfies" or "entails".
Open boosters, collect cards and trade them. Free to play.
Play for free