1. 移动符号

第一个符号位置不变,改变第二个符号相对第一个符号的位置。

1.1 左移

在两个符号间插入 \! 可将第二个符号逐步往左移动。每个 \! 移动 16-\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

可以看到,第一个符号的位置始终不变,左移的是第二个符号的位置。

1.2 右移

\! 相对的右移第二个符号的命令是 \,

【注】此外,除了上述方式以外,还可以使用命令\kern{npt} 来移动第二个符号的位置(pt 为 LaTeX 长度单位,也可以换成其他的):

  • n<0n \lt 0:左移
  • n>0n \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