Latex 数学符号 |= 2024-5-23 • symbols math-operators Latex 中是否有此符号的命令?|=。如果我在源代码中使用 | 和 =,那么在 pdf 中它们之间会有很大差距。 这个符号来自数学(来自逻辑子句)。我不太清楚如何用英语翻译它,它的意思有点像“解决”,用法如下 c |= C。 答案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} 要得到 相关内容 QGtkStyle 无法检测当前 GTK+ 主题 .sty 文件丢失,即使该文件包含在其他包中 删除具有非唯一 ID 的用户 Nginx 代理文件来自 编译 pulseaudio 修补版本时出现问题 无法找到 tmux 会话但它显示为文件? 操作系统磁盘上的 Docker VS 专用磁盘上的 Docker 是否可以通过 USB 集线器在两台电脑上安装一个 HDD?[关闭] 如何在不同的主机上设置域名、电子邮件和网络托管? 单个 NIC 接口有两个不同的 IP