在 Latex 中，如何在集合论中写“力”？

Question

我刚刚在集合论课上学习了强制。我想知道我们如何用一个看起来与 o 有点相似但又不同的符号来表示“力” $\models$o。

Answer 1

我相信您正在寻找的符号可以\Vdash通过加载amssymb包获得。

另外，您想将整个数学表达式放在$...里面$，而不仅仅是特殊符号，所以$o \Vdash o$。

最后，当你尝试寻找一个符号时，解毒站点（还有一个离线工具）可以方便地绘制符号并查看哪些 TeX 命令会生成类似的符号。