証明体系についてはこの記事をご参照ください。
論理記号のパソコンにおける出し方を以前、記事化しました。
【記号論理】記号の出し方、証明図の書き方（Word明朝体で出す）
ゲンツェン（Gerhard Karl Erich Gentzen 1909-1945）パソコンキーボードでの論理学の記号の出し方を、ここでは紹介させて頂きます。MS明朝（※）で、ふつうに漢字変換とおなじように記号を出すことができます。「かつ...
cogefra.work
本記事は、その続編となります。
説明はUnicodeについての記事と同じ方法を採用します。
Unicode 覚書【発音記号】
よく使う（管理人に限らず）と思われるUnicodeを枚挙してゆきたいと思います。Unicodeの便利さに気づいてから、それなりに日が経ちました。記事：ようやくUnicodeのありがたみがわかるようになってきました。Unicodeの打ち込み方...
cogefra.work
随時更新してゆきます。
ト記号 = 22A2
ト記号，Turn Style と呼ばれる ⊢記号ですが、Unicodeは22a2です。
Wikipedia 論理記号の一覧
私（管理人）は，Wordで文章を書く時，MS明朝体でのト記号を好んで使うのですが，上掲Unicodeを使うと，CambriaMathの字体で出てしまいます．
コメント（ディスカッション）