我正在尝试复制一个看起来像\models但只有一条水平线的逻辑符号，它代表逻辑推理。它看起来大致像|-。
我尝试过 Detexify，但它似乎无法识别这个符号，尽管这个符号画起来非常简单（因此我不太可能画得很糟糕）。
虽然我可以浏览整个列表，但这似乎不如询问是否有人已经熟悉它那么实际。
答案1
如果您的需求相对简单，您可能想要使用\vdash。如果您要为任何超出最基本级别的内容排版逻辑，则标准命令不太可能满足您的需求。在这种情况下，该turnstile包就是答案。如果您需要更复杂的符号（例如三线或单/双/三线的组合），或者您需要任何带有下标或上标的旋转门（通常情况下），情况都是如此。
统一码
一些看起来像上述命令的输出的符号：
断言：⊦Unicode 十六进制：0x22a6 在块中：数学运算符
右边：⊢ Unicode 十六进制：0x22a2 在块中：数学运算符