Latex 数学符号 |=

Question

Latex 中是否有此符号的命令？|=。如果我在源代码中使用 | 和 =，那么在 pdf 中它们之间会有很大差距。

这个符号来自数学（来自逻辑子句）。我不太清楚如何用英语翻译它，它的意思有点像“解决”，用法如下 c |= C。

Answer 1

我认为你想要实现的是一个由以下定义的相对运算符\models

我认为你可以用这个

\documentclass{article}
\begin{document}
    $c\models C$
\end{document}

如下所示

此外，正如@campa 指出的那样，也尝试查找符号。

此外，另一个选择是使用\vDash（正如 ''campa'' 在评论中指出的那样）amssymb包中可用的选项。

\documentclass{article}
\usepackage{amssymb}
\begin{document}
    $c\vDash C$
\end{document}

要得到