1. 移動符號
第一個符號位置不變,改變第二個符號相對第一個符號的位置。
1.1 左移
在兩個符號間插入 \!
可將第二個符號逐步往左移動。每個 \!
移動 quad 的距離( 表示左移)。插入越多 \!
,第二個符號左移的位移就越大。
比如:
-
$\dashv \vdash$
:
-
$\dashv \! \vdash$
:
-
$\dashv \! \! \vdash$
:
-
$\dashv \! \! \! \vdash$
:
-
$\dashv \! \! \! \! \vdash$
:
-
$\dashv \! \! \! \! \! \vdash$
:
-
$\dashv \! \! \! \! \! \! \vdash$
:
-
$\dashv \! \! \! \! \! \! \! \vdash$
:
可以看到,第一個符號的位置始終不變,左移的是第二個符號的位置。
1.2 右移
與 \!
相對的右移第二個符號的命令是 \,
。
【注】此外,除了上述方式以外,還可以使用命令\kern{npt}
來移動第二個符號的位置(pt 爲 LaTex 長度單位,也可以換成其他的):
- :左移
- :右移
比如:
-
$\dashv \kern{2pt} \vdash$
:
-
$\dashv \kern{1pt} \vdash$
:
-
$\dashv \kern{0pt} \vdash$
:
-
$\dashv \kern{-1pt} \vdash$
:
-
$\dashv \kern{-2pt} \vdash$
:
-
$\dashv \kern{-3pt} \vdash$
:
-
$\dashv \kern{-4pt} \vdash$
:
-
$\dashv \kern{-5pt} \vdash$
: