如果我的手稿文件有
$$\biggl({\partial^2\over \partial x^2}+
{\partial^2 \over \partial y^2}\biggr)\bigl|\varphi(x+iy)\bigr|^2 = 0$$
或者
$$\bigg({\partial^2\over \partial x^2}+
{\partial^2 \over \partial y^2}\bigg)\big|\varphi(x+iy)\big|^2 = 0$$
结果是一样的:
答案1
\big
(及其朋友)创建一个普通原子。\bigl
并且\bigr
(及其朋友)创建开放和封闭原子。原子之间的间距可以变化。
例如,TeX 在 Op(大运算符)原子和 Ord 原子之间插入一个细空格,但在 Op 原子和 Open 原子之间不插入空格。
比较(Op 然后是 Ord):
\[ \sum\big( \]
使用(Op 然后 Open):
\[ \sum\bigl( \]
你可以在 TeXbook 的第 158 页看到这 13 种原子的列表。第 170 页的表格显示了相邻原子之间的间距。
编辑:在 bellochio 给出的例子中,由于两个表达式中涉及的原子类型不同,间距没有差异;唯一可能被认为有问题的部分是初始部分:
\biggl({\partial^2\over \partial x^2}
相对
\bigg({\partial^2\over \partial x^2}
但是,使用\showlists
第一个表达式会产生(仅显示相关部分):
### display math mode entered at line 1
\mathopen
.\hbox(14.5001+9.50012)x7.36115
..\mathon
..\hbox(14.5001+9.50012)x7.36115
...\hbox(0.39998+23.60025)x7.36115, shifted -14.10013 []
...\vbox(14.5+0.0)x0.0
...\hbox(0.0+0.0)x0.0, shifted -2.5
..\mathoff
\mathord
.\fraction, thickness = default
.\\mathord
.\.\fam1 @
.\^\fam0 2
./\mathord
./.\fam1 @
./\mathord
./.\fam1 x
./^\fam0 2
因此第一个原子的类型是 Open 和 Ord。第二个表达式\showlists
产生:
### display math mode entered at line 1
\mathord
.\hbox(14.5001+9.50012)x7.36115
..\mathon
..\hbox(14.5001+9.50012)x7.36115
...\hbox(0.39998+23.60025)x7.36115, shifted -14.10013 []
...\vbox(14.5+0.0)x0.0
...\hbox(0.0+0.0)x0.0, shifted -2.5
..\mathoff
\mathord
.\fraction, thickness = default
.\\mathord
.\.\fam1 @
.\^\fam0 2
./\mathord
./.\fam1 @
./\mathord
./.\fam1 x
./^\fam0 2
所以第一个原子是 Ord 类型,并且是 Ord。根据第 170 页中的表格,TeX 在 Open 原子和 Ord 原子之间以及两个 Ord 原子之间不插入空格,这就是为什么间距没有差异。
答案2
正如其他答案中已经指出的那样,在 、 、 和 之后立即使用( “ ell l
”)会通知 TeX,后续的“栅栏符号”—— 、、等——将被赋予数学类“Math Open”而不是“Math Ordinary”。\Bigg
\bigg
\Big
\Big
(
[
\{
如果栅栏符号后面的第一个数学原子是算术运算符例如+
(加号)、-
(减号)或\times
:
如果栅栏被指定为“Math Open”类,即如果
\Biggl
使用\biggl
了,TeX 将——正确地——不是-
在栅栏符号和/+
/符号之间插入一些额外的空格\times
,导致符号(正确!)排版为一元操作员。如果没有
l
("ell") 限定符,则栅栏被分配为“Math Ordinary”类,而 TeX 会错误地将-
/+
/\times
符号解释为二元运算符(类“Math Bin”)从而在这些符号和下一个数学原子之间插入更多的空白。
前几个示例说明了由此产生的间距差异,包括开始栅栏和算术运算符之间以及算术运算符和后续运算符之间的间距差异。最后两个示例表明,这个问题并不局限于开始栅栏/一元运算符的情况。事实上,它也发生在 (a) 开始栅栏/mathop 的情况和 (b) 结束一元运算符/结束栅栏的情况中。
\documentclass{article}
\usepackage{amsmath,booktabs}
\begin{document}
\begin{align*}
\Biggl[-2x - 4y\Biggr]& \quad\text{\emph{with} ``l'': }
\begin{array}{l}
\text{\textbullet\ tight spacing after opening fence;}\\
\text{\textbullet\ first ``$-$'' symbol treated as unary operator}
\end{array}\\
\Bigg[ -2x - 4y\Bigg]& \quad\text{without ``l'': }
\begin{array}{l}
\text{\textbullet\ loose spacing after opening fence;}\\
\text{\textbullet\ first ``$-$'' symbol treated as binary operator}
\end{array}\\ \addlinespace
\biggl(+3u + 7v\biggr)&\\
\bigg( +3u + 7v\bigg) &\\ \addlinespace
\Bigl\vert \div 2x \times 4y\Bigr\vert &\\
\Big\vert \div 2x \times 4y\Big\vert &\\ \addlinespace
\bigl\{ \times 3u \div 7v\bigr\} &\\
\big\{ \times 3u \div 7v\big\} &\\ \addlinespace
\lvert \sin\theta \rvert &\\
\vert \sin\theta \vert &\\ \addlinespace
\lvert a- \rvert &\\
\vert a- \vert & \text{without ``r'': ``-'' not treated as a unary operator}
\end{align*}
\end{document}
答案3
在这种情况下,是的,也许,但是尝试一下
$\log\bigl($ vs. $\log\big($
它们不一样,因为\big(
AFAIR 不是数学开放类型
还有一些关于正确栅栏类型的例子(虽然我现在已经忘记了)