⊨
⊨
,
Double Turnstyle
,
\vDash
,
\models
意味論的帰結
https://en.wikipedia.org/wiki/Double_turnstile