统一码

统一码

我正在尝试复制一个看起来像\models但只有一条水平线的逻辑符号,它代表逻辑推理。它看起来大致像|-

我尝试过 Detexify,但它似乎无法识别这个符号,尽管这个符号画起来非常简单(因此我不太可能画得很糟糕)。

虽然我可以浏览整个列表,但这似乎不如询问是否有人已经熟悉它那么实际。

答案1

如果您的需求相对简单,您可能想要使用\vdash。如果您要为任何超出最基本级别的内容排版逻辑,则标准命令不太可能满足您的需求。在这种情况下,该turnstile包就是答案。如果您需要更复杂的符号(例如三线或单/双/三线的组合),或者您需要任何带有下标或上标的旋转门(通常情况下),情况都是如此。

统一码

一些看起来像上述命令的输出的符号:

断言:⊦Unicode 十六进制:0x22a6 在块中:数学运算符

右边:⊢ Unicode 十六进制:0x22a2 在块中:数学运算符

(发现http://shapecatcher.com/

相关内容