ターンスタイル。

命題論理の構文論。「定義：⊢」の説明。