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} 要得到 相关内容 如何在不停机的情况下在 IIS7 上更新 SSL? FFmpeg 未找到文件 如何让 dev.*.domain.com 在 nginx 上运行 .boot 的磁盘驱动器尚未准备好或不存在 安装 Realtek HD 驱动程序后音频中断 将日期和监视命令的输出存储到文件中 最新的 docker 镜像并未指向来自私有本地注册表的真正最新镜像版本 Windows 10 IP 路由不适用于 USB 3G 调制解调器 IPSEC/LT2P 有哪些端口? 笔记本电脑无法启动