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