☰

寻找“条件”标志

tag-icon • tag-icon symbols metafont
寻找“条件”标志

在一篇论文中，我发现了以下定义： 论文中找到的定义

我正在寻找第一个符号，OCR 程序无法识别。它类似于 a\vdash和 a的组合\sim。我尝试了 Detexify，但找不到正确的符号。

这个符号是否存在于 LaTeX 中，或者我可以生成这样的符号吗（例如通过在 METAFONT 中添加描述？）

在论文的更远处，还出现了该符号的否定形式：相同的符号，但带有一条对角线。

答案1

无论如何，大多数此类符号（例如\models）都是由其他符号构成的，因此如果您在现成的字体中找不到它，您可以复制模型定义：

在此处输入图片描述

\documentclass{article}
% \DeclareRobustCommand
%  \models{\mathrel{|}\joinrel\Relbar}


\DeclareRobustCommand
  \sv{\mathrel{|}\joinrel\mathrel{\smash{\sim}}}

\begin{document}

$A\models B$

$X \sv Y$

\end{document}

相关内容