逻辑中可接受规则的符号

Question

您能帮我找到数学逻辑中可接受规则的特定符号（见下图）吗？我们可以写下来|\!\!\!\sim，但我希望垂直划线的大小与 $\vdash$ 相同。谢谢！

Answer 1

如果您可以使用 LuaLaTeX 或 XeLaTeX，则可以求助于包logix和命令\TurnWavy（“波浪旋转门”）。这是一个二元关系，我相信这就是您使用它的方式。

logix仅提供 Unicode 字体；LuaLaTeX 或 XeLaTeX 可让您直接在源代码中输入 Unicode 字符（和在输出中按预期显示）。

来源：综合 LaTeX 符号列表，第 81 页；我在索引中查找“turnstile”的变体时找到了它。