邏輯中可接受的規則的符號

Question

您能幫我找出數學邏輯中可接受規則的特定符號（見下圖）嗎？我們可以為它編寫|\!\!\!\sim，但我希望垂直破折號與 $\vdash$ 大小相同。謝謝你！

Answer 1

如果您可以使用 LuaLaTeX 或 XeLaTeX，您可以使用該套件logix和命令\TurnWavy（「wavy Turnstile」）。這是一種二元關係，我相信這就是您使用它的方式。

logix只提供Unicode字體； LuaLaTeX 或 XeLaTeX 讓您可以將 Unicode 字元直接輸入到來源中（和按預期顯示在輸出中）。

來源：綜合 LaTeX 符號列表，第 14 頁81;我透過在索引中尋找「turnstile」的變體找到了它。