論理における許容規則を表す記号

Question

数理論理学における許容規則を表す特定の記号 (下の図を参照) を見つけるのを手伝っていただけますか? と書くことはできます|\!\!\!\simが、垂直ダッシュを $\vdash$ と同じサイズにしたいです。 ありがとうございます!

Answer 1

LuaLaTeX または XeLaTeX を使用できる場合は、パッケージlogixとコマンド\TurnWavy(「wavy turningtile」) を使用できます。これはバイナリ関係であり、これがあなたが使用している方法であると私は信じています。

logixはUnicodeフォントを提供するだけです。LuaLaTeXまたはXeLaTeXを使用すると、ソースに直接Unicode文字を入力できます（そして出力では意図したとおりに表示されます。

ソース：包括的な LaTeX シンボル リスト、p. 81; 索引で「turnstile」の異形を調べて見つけました。