上海上港高清海报 www.wqytv.com.cn

挖掘代码

\big 系列命令

要定义更大的定界符修饰,就必须搞清楚 \big 系列命令是如何定义的。首先,我们使用 kpsewhich amsmath.sty 找到 amsmath.sty 在系统中的路径。而后打开样式文件,搜寻 \big 的定义。

\renewcommand{\big}{\[email protected]\@ne}
\renewcommand{\Big}{\[email protected]{1.5}}
\renewcommand{\bigg}{\[email protected]\[email protected]}
\renewcommand{\Bigg}{\[email protected]{2.5}}

\[email protected] 命令

显而易见,核心是 \[email protected] 这个命令。它可以根据其后第一个 token 决定定界符的放大程度。注意,这里 \@ne 表示 {1},而 \[email protected] 表示 {2}——这是令人讨厌的 LaTeX 内核编程 trick。于是我们继续去寻找 \[email protected] 的定义。

\def\[email protected]#1#2{%
  {\@mathmeasure\[email protected]{\nulldelimiterspace\[email protected]}%
     {\left#2\vcenter to#1\[email protected]{}\right.}%
   \box\[email protected]}}

很显然,\[email protected] 命令内部也是通过 TeX 原始的 \left 和 \right 命令来调整定界符(#2)的大小的。不过,它还额外处理了左右的空距。这里我们知道就行了,不去深究。

\bigl 和 \bigr 系列命令

接下来我们继续挖掘 \bigl 和 \bigr 系列命令的定义。它们定义在 LaTeX2e 内核当中,因此我们通过执行 texdoc source2e 就能看到它们的定义了。

\def\bigl{\mathopen\big}
\def\bigm{\mathrel\big}
\def\bigr{\mathclose\big}
\def\Bigl{\mathopen\Big}
\def\Bigm{\mathrel\Big}
\def\Bigr{\mathclose\Big}
\def\biggl{\mathopen\bigg}
\def\biggm{\mathrel\bigg}
\def\biggr{\mathclose\bigg}
\def\Biggl{\mathopen\Bigg}
\def\Biggm{\mathrel\Bigg}
\def\Biggr{\mathclose\Bigg}

很显然,它们就只是用 \mathopen, \mathrel 和 \mathclose 宏来修饰了一下对应的定界符修饰命令。

改造

据此,我们可以定义更有逼格的定界符修饰命令了。

% \RequirePackage{amsmath}

\newcommand{\biggg}{\[email protected]{3}}
\def\bigggl{\mathopen\biggg}
\def\bigggm{\mathrel\biggg}
\def\bigggr{\mathclose\biggg}
\newcommand{\Biggg}{\[email protected]{3.5}}
\def\Bigggl{\mathopen\Biggg}
\def\Bigggm{\mathrel\Biggg}
\def\Bigggr{\mathclose\Biggg}
\newcommand{\bigggg}{\[email protected]{4}}
\def\biggggl{\mathopen\bigggg}
\def\biggggm{\mathrel\bigggg}
\def\biggggr{\mathclose\bigggg}
\newcommand{\Bigggg}{\[email protected]{4.5}}
\def\Biggggl{\mathopen\Bigggg}
\def\Biggggm{\mathrel\Bigggg}
\def\Biggggr{\mathclose\Bigggg}

注意,这段代码在普通的 LaTeX 文档中,需要使用 \makeatletter 和 \makeatother 来改变 @ 字符的分类码,以便正确定义命令。

接下来我们实际使用看看。

\documentclass{article}

\usepackage{amsmath}

\makeatletter
\newcommand{\biggg}{\[email protected]{3}}
\def\bigggl{\mathopen\biggg}
\def\bigggm{\mathrel\biggg}
\def\bigggr{\mathclose\biggg}
\newcommand{\Biggg}{\[email protected]{3.5}}
\def\Bigggl{\mathopen\Biggg}
\def\Bigggm{\mathrel\Biggg}
\def\Bigggr{\mathclose\Biggg}
\newcommand{\bigggg}{\[email protected]{4}}
\def\biggggl{\mathopen\bigggg}
\def\biggggm{\mathrel\bigggg}
\def\biggggr{\mathclose\bigggg}
\newcommand{\Bigggg}{\[email protected]{4.5}}
\def\Biggggl{\mathopen\Bigggg}
\def\Biggggm{\mathrel\Bigggg}
\def\Biggggr{\mathclose\Bigggg}
\makeatother

\begin{document}

\[
    \Biggggl[\biggggl[\Bigggl[\bigggl[\Biggl[\biggl[\Bigl[\bigl[[ x ]\bigr]\Bigr]\biggr]\Biggr]\bigggr]\Bigggr]\biggggr]\Biggggr]
\]

\end{document}

aa_1_看图王.png

选自:https://liam.page/2018/11/09/the-bigger-than-bigger-delimiter-in-LaTeX/