⊢
\vdash, Turnstyle, ターンスタイル
構文論的帰結
https://en.wikipedia.org/wiki/Turnstile_(symbol)