我正在用纯 TeX 编写模型理论文档，并且经常使用 vdash 和 vDash 符号。
\vdash已经是纯 TeX 的一部分，所以没有问题，但如何才能让它\vDash看起来与它一致（相同的高度、良好的对齐等）？
*\show\vdash
> \vdash=\mathchar"3260.
*\show\vDash
> \vDash=undefined.
目前我使用\def\vDash{\mathrel{|\!\!\!=}}，但是它很丑。
答案1
是\vDash数学中常见的字符，因此几乎所有 Unicode 数学字体都支持它。您可以加载 Unicode 数学字体并使用它。例如在 OpTeX 中：
\fontfam[lm]
$\vDash$
\bye
加载的想法amssym就像我们还没有 Unicode 的旧时代的做法。
答案2
AMS 提供了对其符号字体的支持（LaTeX 中的类似字体是\usepackage{amssym}。
要输入的文件是amssym.tex。
\input amssym
$A \vDash B$
\bye
