
第一个符号位置不变,改变第二个符号相对第一个符号的位置。
在两个符号间插入 \! 可将第二个符号逐步往左移动。每个 \! 移动 -\frac{1}{6} em 的距离( 表示左移)。插入越多 \! ,第二个符号左移的位移就越大。
比如:
$\dashv \vdash$:
\dashv \vdash $\dashv \! \vdash$:
\dashv \! \vdash $\dashv \! \! \vdash$:
\dashv \! \! \vdash $\dashv \! \! \! \vdash$:
\dashv \! \! \! \vdash $\dashv \! \! \! \! \vdash$:
\dashv \! \! \! \! \vdash $\dashv \! \! \! \! \! \vdash$:
\dashv \! \! \! \! \! \vdash $\dashv \! \! \! \! \! \! \vdash$:
\dashv \! \! \! \! \! \! \vdash $\dashv \! \! \! \! \! \! \! \vdash$:
\dashv \! \! \! \! \! \! \! \vdash 可以看到,第一个符号的位置始终不变,左移的是第二个符号的位置。
与 \! 相对的右移第二个符号的命令是 \,。
【注】此外,除了上述方式以外,还可以使用命令 \kern{npt} 来移动第二个符号的位置(pt 为 LaTeX%20 长度单位,也可以换成其他的):
n \lt 0:左移
n \gt 0:右移
比如:
$\dashv \kern{2pt} \vdash$:
\dashv \kern{2pt} \vdash $\dashv \kern{1pt} \vdash$:
\dashv \kern{1pt} \vdash $\dashv \kern{0pt} \vdash$:
\dashv \kern{0pt} \vdash $\dashv \kern{-1pt} \vdash$:
\dashv \kern{-1pt} \vdash $\dashv \kern{-2pt} \vdash$:
\dashv \kern{-2pt} \vdash $\dashv \kern{-3pt} \vdash$:
\dashv \kern{-3pt} \vdash $\dashv \kern{-4pt} \vdash$:
\dashv \kern{-4pt} \vdash $\dashv \kern{-5pt} \vdash$:
\dashv \kern{-5pt} \vdash