\measuredangle 对应 glyph 的具体定义在文件 mathsymb.mf 的 852 行,

%%% !!!
beginchar(measured_angle,12u#+2appr#,asc_height#,asc_depth#);
  "Measured angle sign";
  pickup tiny.nib;
  rt x1l=w-appr; lft x2l=appr; rt x3r=w-appr-hround 1.5u;
  bot y1l=bot y2l=0; top y3l=h+eps; pos1(rth,90);
  (x3r-x3l,y3l-y3r)=d_problem(z2l,y3l,x3r,rth-tiny);
  y2r=y1r; z2r-z3r=whatever*(z2l-z3l);
  filldraw stroke z1e--z2e--z3e;
  %
  numeric a;
  y2l=y5r; rt x5r=hround max(0.6[Appr,w-Appr]+0.5rth,x2l+0.5(h+d))+eps;
  pos5(rth,0);
  a=x5r-x2l; 0.5 y4=-d+eps; 0.5(x4-x2l)=a+-+min((0.5(y4-y2l)),a);
  0.5(z6-z2l)=a*dir min((angle(z3l-z2l)-angle(z4-z2l)),90);
  numeric t[];
  tmp_path:=halfcircle rotated -90 scaled 2(x5r-x2r) shifted z2r;
  tmpp_path:=reverse(halfcircle rotated -90 scaled 2(x5l-x2r) shifted z2r);
  t1=xpart(tmp_path intersectiontimes (z2l..z4));
  t2=xpart(tmp_path intersectiontimes (z2l..z6));
  z4r=point t1 of tmp_path; z6r=point t2 of tmp_path;
  t3=xpart(tmpp_path intersectiontimes (z2l..z6));
  t4=xpart(tmpp_path intersectiontimes (z2l..z4));
  z4l=point t4 of tmpp_path; z6l=point t3 of tmpp_path;
  filldraw subpath (t1,t2) of tmp_path
  --subpath (t3,t4) of tmpp_path--cycle;
  penlabels(1,2,3,4,5,6);
endchar;

似乎是需要用到 metatype1 ？ 待续 ...

再次更新, 首先把 mathprmt.mf 复制到一个单独的文件夹出来(方便后期更改), 然后再把上述 measured_angle 的定义摘抄出来, 形成如下的文件:

%%%%%%%%%%%%%%          Preamble        %%%%%%%%%%%%%%
% 1. variables like: 'appr#' are inside it:
input mathprmt;  % load library 'mathbase.mf'

% 2. mode/math setup and function 'd_problem()' in 'mathsymb.mf'
mode_setup;
math_setup;
measured_angle := hex"3E";  % this variable must be known !!!
vardef d_problem(expr origin,top_lim,side_lim,breadth)=
  save a,b,c;
  a=abs((side_lim-xpart origin)/(top_lim-ypart origin));
  b=abs(breadth/(top_lim-ypart origin));
  begingroup
    vardef f(expr c)=
      (1+a**2-2a*b*c+(b*c)**2)*(c**2)<1
    enddef;
    c=solve f(0,breadth);
  endgroup;
  breadth*(c,1+-+c)
enddef;


%%%%%%%%%%%         Main doc        %%%%%%%%%%%%%%
beginchar(measured_angle,12u#+2appr#,asc_height#,asc_depth#);
  "Measured angle sign";
  pickup tiny.nib;
  rt x1l=w-appr; lft x2l=appr; rt x3r=w-appr-hround 1.5u;
  bot y1l=bot y2l=0; top y3l=h+eps; pos1(rth,90);
  (x3r-x3l,y3l-y3r)=d_problem(z2l,y3l,x3r,rth-tiny);
  y2r=y1r; z2r-z3r=whatever*(z2l-z3l);
  filldraw stroke z1e--z2e--z3e;
  %
  numeric a;
  y2l=y5r; rt x5r=hround max(0.6[Appr,w-Appr]+0.5rth,x2l+0.5(h+d))+eps;
  pos5(rth,0);
  a=x5r-x2l; 0.5 y4=-d+eps; 0.5(x4-x2l)=a+-+min((0.5(y4-y2l)),a);
  0.5(z6-z2l)=a*dir min((angle(z3l-z2l)-angle(z4-z2l)),90);
  numeric t[];
  tmp_path:=halfcircle rotated -90 scaled 2(x5r-x2r) shifted z2r;
  tmpp_path:=reverse(halfcircle rotated -90 scaled 2(x5l-x2r) shifted z2r);
  t1=xpart(tmp_path intersectiontimes (z2l..z4));
  t2=xpart(tmp_path intersectiontimes (z2l..z6));
  z4r=point t1 of tmp_path; z6r=point t2 of tmp_path;
  t3=xpart(tmpp_path intersectiontimes (z2l..z6));
  t4=xpart(tmpp_path intersectiontimes (z2l..z4));
  z4l=point t4 of tmpp_path; z6l=point t3 of tmpp_path;
  filldraw subpath (t1,t2) of tmp_path
  --subpath (t3,t4) of tmpp_path--cycle;
  penlabels(1,2,3,4,5,6);
endchar;
end


%%%% Compile it by %%%%%%
% mf measure_angle.mf
% gftodvi measure_angle.2602gf
% dvips measure_angle.dvi
% ps2pdf measure_angle.ps

依次使用如下的命令进行编译:

mf measure_angle.mf
gftodvi measure_angle.2602gf
dvips measure_angle.dvi
ps2pdf measure_angle.ps

然后你就可以看到 measure_angle.pdf 生成了, 截图如下:

目前想要在 TeX 中使用该符号还有两个问题:

• 还需要生成对应的 tfm 文件, 或许还需要 .pk 文件;
• 点阵字体不行, 可能需要用一点 metatype1 里面的东西;
• 待续 ...

仅仅使用 tabular 来实现, 大概是下面这样:

\documentclass{article}
\usepackage{xcolor}
\usepackage{lipsum}


\begin{document}
\lipsum[1][1-3]
\begin{equation}
\def\arraystretch{1.7}
\addtolength{\tabcolsep}{-3pt}
\begin{tabular}{rlrllll}
  $\frac{1}{\sqrt{2}}y_1$   & $-$                  & $\frac{1}{\sqrt{2}}y_2 $ &     &       & = & $f_1$\\
  $\frac{1}{\sqrt{2}}y_1$   & $+$                  & $\frac{1}{\sqrt{2}}y_2 $ &     &       & = & $f_2$\\
                            & $\textcolor{red}{+}$ & $\frac{1}{\sqrt{2}}y_2 $ & $+$ & $y_3$ & = & $f_3$\\
                            & $\textcolor{red}{+}$ & $-\frac{1}{\sqrt{2}}y_2$ &     &       & = & $f_4$\\
  $\frac{1}{\sqrt{2}}y_1$   &                      &                          & $-$ & $y_3$ & = & $f_5$\\
  $-\frac{1}{\sqrt{2}}y_1$  &                      &                          &     &       & = & $f_6$\\
\end{tabular}
\end{equation}
\lipsum[1][4-6]
\end{document}

用 tabular 比 align 之类的直观一点, 就是会多打一些 $；如果想少打一些 &, $ 之类的符号，可以手搓一个表格数据解析的函数，但是感觉没必要（去用 tabularray 就好了）。

无非就是堆盒子嘛，不需要用 tikz 这种大杀器的, 也不需要用 l3coffin 之类的东西，虽然用这两个更加的简单. 代码如下:

\documentclass{article}
\usepackage[showframe, textwidth=18cm]{geometry}
\usepackage{graphicx}
\usepackage{xcolor}
\usepackage{lipsum}
\ExplSyntaxOn\makeatletter
\cs_set_protected:Npn \__item_align:nnn #1#2#3
  {% #1:cmd, #2:width, #3:object
    \hb@xt@#2{
      \tl_map_inline:nn {#3} 
        {
          \seq_put_right:No \l_tmpa_seq {\exp_not:N #1{##1}}
        } 
      \edef\seq@count{\seq_count:N \l_tmpa_seq}
      \seq_map_inline:Nn \l_tmpa_seq
        {
          \edef\item@width{\dim_eval:n {#2/(\seq@count+1)}}
          \hskip\item@width\clap{##1}
        }\hskip\item@width\hss
    }
  }
\NewDocumentCommand\itemAlign{O{}mm}
    {
        \__item_align:nnn {#1}{#2}{#3}
    }
\makeatother\ExplSyntaxOff
\parindent0pt

\begin{document}
\itemAlign{\linewidth}{A}\par
\itemAlign{\linewidth}{AA}\par
\itemAlign{\linewidth}{{(A)}{(A)}{(A)}}\par

\vskip6em
\dotfill\par
\def\imageA{\includegraphics[width=5em]{example-image-a}}
\def\imageB{\includegraphics[width=5em]{example-image-b}}
\itemAlign{\linewidth}{\imageA}\par
\itemAlign{\linewidth}{\imageA\imageA}\par
\itemAlign{\linewidth}{\imageB\imageB\imageB}\par
\itemAlign{\linewidth}{\imageB\imageB\imageB\imageB}

\vskip6em
\dotfill\par
\def\parA{\parbox[c]{12em}{\lipsum[1][1-2]}}
\def\parB{\parbox[c]{12em}{\lipsum[1][3-5]}}
\itemAlign[\sffamily]{\linewidth}{\parA}\par
\itemAlign[\color{red}]{\linewidth}{\parA\parA}\par
\itemAlign[\fbox]{\linewidth}{\parB\parB\parB}
\end{document}

编译结果如下:

注意事项:

• 如果你想要更改 \itemAlign 第二个参数中对象的分割方式，可以把 \tl_map_inline:nn 换为 \clist_map_inline:nn 之类的函数.
• 注意空格，任何显示的空格都会被 吞掉, 可以使用 \␣ 或 ~ 替代.

不知道题主有没有解决这个 cref 的问题，所以我这里来推荐一下我自己写的这个模板，它可以很方便的处理上面的 定理类环境样式 定制与 cref 问题。

• 在定理环境样式上，我这个模板提供了很多的接口: 标题格式定制，环境颜色控制, ....
• 在 cref 上，我这个模板内置了 cleveref 和 zref-clever 两种兼容方案(因为最新的 cleveref 在中文环境下出了点问题)

使用我这个模板，对应的解决方案如下:

\documentclass[lang=cn, fancy]{ztex}
\makeatletter
\zthmstylenew{
  styleA={
    begin={
      \begin{tcolorbox}[
        enhanced jigsaw,
        breakable, sharp corners, 
        colframe=\thm@tmp@color, 
        top=2ex, boxrule=2pt, toprule=0pt, 
        fonttitle=\large\bfseries, colback=white, 
        attach boxed title to top left={xshift=3em,yshift=-\tcboxedtitleheight/2},
        coltitle=\thm@tmp@color, title={\zthmname~\zthmnumber},
        boxed title style={%
          empty, left=1pt, right=1pt, bottom=0pt,
          overlay={%
            \draw[color=\thm@tmp@color,line width=2pt,line cap=round]
            ([yshift=-1pt]frame.west)--
            ++(-2.9em,0) ([yshift=-1pt]frame.east)--
            ++(3em,0);
          }
        },
      ]
    },
    end = {\end{tcolorbox}},
  }
}
\makeatother
\zthmstyle{styleA}
\zthmlang{en}
\usepackage{zhlipsum}
\usepackage{lipsum}


\begin{document}
\section{FIRST}
\lipsum[1][1-2]
\begin{definition}[DEF-TEST]\label{def:A}
  \zhlipsum[1]
\end{definition}
\lipsum[1][3-5] -- \cref{thm:A}.


\vspace*{13em}
\section{SECOND}
\begin{theorem}[THM-TEST]\label{thm:A}
  \lipsum[1]
\end{theorem}
\lipsum[1][3-5] -- \cref{def:A}.
\end{document}

对应的样式代码是直接抄的 @u70550 的, 加了一丢丢的改动.

编译结果:

如果有兴趣使用我这个模板，我可以再发给你，因为目前我这模板还没有发布.

原始代码报错是因为 \nolinebreak 只能在水平模式使用, 而段首是垂直模式.几个注意的点:

• 并不需要启用 expl3 环境;
• 普通用户在导言区一般不使用 \RequirePackage, 而是 \usepackage 命令;
• 在如今, g 参数不推荐使用, 类似的还有 G, l, u;
• 不需要同时加载 color 和 xcolor, 单独一个 xcolor 已经足够.

修改后的代码如下:

\documentclass[a4paper]{ctexart}
\usepackage{xcolor}

\NewDocumentCommand \hh{m}{%
  \IfNoValueTF{#1}{%
    \,\underline{\hbox to 1cm{}}\,
  }{%
    \textcolor[rgb]{1.00,0.00,0.00}{\underline{#1}}%
  }%
}
\def\modeCheck{\ifvmode Vmode \else Hmode \fi}


\begin{document}
  删除这一行汉字会运行出错\hh{123}
  
  \hh{123}
  
  \modeCheck\modeCheck
\end{document}

运行结果:

一个基于 expl3 的方法如下:

\documentclass{article}
\usepackage{graphicx}

\begin{document}
\ExplSyntaxOn
\cs_generate_variant:Nn \prg_replicate:nn {e}
\cs_new:Npn \three_digits:n #1 
  {% to keep expandable
    \prg_replicate:en {3-\tl_count:n {#1}}{0} #1
  }
\newcommand\PDFInclude[2][1]{
    \int_step_inline:nnn {#1}{#2}{
        %\includegraphics[width=5cm]{
            \three_digits:n {##1}.pdf\par
        %}
    }
}
\ExplSyntaxOff
An simple TEST I as follows:\par
\PDFInclude{10}

An simple TEST II as follows:\par
\PDFInclude[95]{111}
\end{document}

运行结果如下:

你可以把上面的 \PDFInclude 命令自己加以改造以符合自己的需求.

在表格内部嵌套一个 bmatrix 就行了, 参见代码:

\documentclass{article}
\usepackage{booktabs}
\usepackage{amsmath}

\begin{document}
\begin{tabular}{cccc}
\toprule
$k$ & 0 & 1 & 2 \\
$\rho_k$ & $\begin{bmatrix}0\\1\\0\\0\end{bmatrix}$ & $\begin{bmatrix}0.3673\\0.3679\\0.1839\\0.0803\end{bmatrix}$ & $\begin{bmatrix}0\\0\\0\\1\end{bmatrix}$ \\ 
$\mu_k$ & 1 & 1 & 1 \\
\bottomrule
\end{tabular}
\end{document}

编译结果:

其实这几个问题的共同原因都在 \chapter 命令的定义中了, 参见 book.cls 中的定义:

\newcommand\chapter{\if@openright\cleardoublepage\else\clearpage\fi
                   \thispagestyle{plain}%
                   \global\@topnum\z@
                   \@afterindentfalse
                   \secdef\@chapter\@schapter}

这个命令里面的 \thispagestyle{plain} 就产生了这个页码. 而对应的 \tableofcontents 的定义如下:

\newcommand\tableofcontents{%
   \if@twocolumn
     \@restonecoltrue\onecolumn
   \else
     \@restonecolfalse
   \fi
   \chapter*{\contentsname
       \@mkboth{%
          \MakeUppercase\contentsname}{\MakeUppercase\contentsname}}%
   \@starttoc{toc}%
   \if@restonecol\twocolumn\fi
   }

这个里面调用的是 \chapter* 命令，其实就是上面的那个 \@schapter 命令. 所以说解决办法也就很简单了, 在一个局部里面， 把 \tableofcontents 内部的这个 \chapter* 改一下就行了. 你可以选择重定义前者，也可以选择重定义后者. 这里我使用前者:

\documentclass[landscape,openany]{book}
\usepackage[a6paper]{geometry}
\makeatletter
\renewcommand\tableofcontents{%
          \if@twocolumn
            \@restonecoltrue\onecolumn
          \else
            \@restonecolfalse
          \fi
          \@schapter{\contentsname
              \@mkboth{%
                  \MakeUppercase\contentsname}{\MakeUppercase\contentsname}}%
          \@starttoc{toc}%
          \if@restonecol\twocolumn\fi
          }
\makeatother

\begin{document}
\pagestyle{empty}
\tableofcontents 

\chapter{First}
\chapter{Second}
\chapter{Third}
\chapter{First}
\chapter{Second}
\chapter{Third}
\chapter{First}
\chapter{Second}
\chapter{Third}
\end{document}

编译结果如下:

为了更好的理解这个问题，你可以试试下面这个例子:

\documentclass[landscape,openany]{book}
\usepackage[a6paper]{geometry}
\makeatletter

\begin{document}
\pagestyle{empty}
\@schapter{Contents}
\thispagestyle{plain} % comment this line to test page style
\@starttoc{toc}

\chapter{First}
\chapter{Second}
\chapter{Third}
\chapter{First}
\chapter{Second}
\chapter{Third}
\chapter{First}
\chapter{Second}
\chapter{Third}
\end{document}

至于你后面提到的 tocloft 宏包，你可以自己去看它的实现.

解答

你提问中的 cmu 疑似拼写有误? 回到问题本身：是这样的，你可以从原始的 Computer Modern math 中把 \int, \sum 这两个符号给 偷过来. 具体的示例如下:

% TeX-Program: pdflatex
\documentclass{article}
\usepackage{stix}
\DeclareSymbolFont{cmmlargesymbols}{OMX}{cmex}{m}{n}
\DeclareMathDelimiter{\Newint}{\mathop}{cmmlargesymbols}{"52}{cmmlargesymbols}{"5A}
\DeclareMathDelimiter{\Newsum}{\mathop}{cmmlargesymbols}{"50}{cmmlargesymbols}{"58}

\begin{document}
stix style int $\int_a^b$ and sum $\sum_a^b$:

\[
  \int_{a}^{b} x \;\mathrm{d}x = \sum_{i=1}^{\infty}\frac{x^2}{2} + C
\]

computer modern math style int $\Newint_a^b$ and sum $\Newsum_a^b$:
\[
  \Newint\nolimits_{a}^{b} x \;\mathrm{d}x = \Newsum_{i=1}^{\infty}\frac{x^2}{2} + C
\]
\end{document}

编译结果:

备注

• 当然，你可以无脑使用 unicode-math 这个宏包，不过就需要使用 xetex 了，我这个方案的话，你可以在 pdftex 下进行编译.
• 目前这个偷过来的方式比较的粗糙, 如果有后续要求，请继续提问

前言

其实在 TSE 上已经有人问过一样的问题了,如下: printing colored borders of hyperref package (latex)

但是下面的回答是叫他每次都手动添加. 这肯定不是你想要的:

1. ocgcolorlinks

首先解答关于最后那个 ocgcolorlinks 的问题, 这个东西其实是有用的，只不过你没有使用正确。这个 ocgcolorlinks 只能够控制 linkcolor, 并不能够控制 linkborder。下面就是把此 option 分别置为 false 和 true 的打印预览图:

• 置为 false:

• 置为 true:

所以现在想要在打印的时候保留这个 border，你需要的也许是 ocgbordercolors 而不是 ocglinkcolors , 但是遗憾的是，目前 hyperref 没有这个选项. 而且它还采用了一个比较 邪恶 的的做法，直接在宏包中写入 pdf 源码. hyperref 中的这部分代码如下：

\def\Hy@setpdfborder{%
  \ifx\@pdfborder\@empty
  \else
    /Border[\@pdfborder]%
  \fi
  \ifx\@pdfborderstyle\@empty
  \else
    /BS<<\@pdfborderstyle>>%
  \fi
}

你猜猜这个 /BS<< ... >> 以及 /Border[...] 是啥东西？这个就是手写pdf，其实在 pdf specification 中你可以找到这两个命令的用法的， 如下:

所以你如果会手写 pdf 的话，你可以做出来一些比较 interesting 的 border style. 比如下面这样的：

但是由于目前，我也不会手写 pdf， 所以我采用的方法是就是重定义这部分命令. 具体操作细节见下面说明.

2. 思路分析

下面我们就看看这个 ocglinkcolors 选项怎么起作用的? hyperref 宏包中跟这部分有关的代码 snippets 如下:

% line: 4501
\Hy@AtBeginDocument{%
  \ifHy@ocgcolorlinks
    \kvsetkeys{Hyp}{colorlinks}%
    \ifHy@pdfa
      \Hy@Warning{%
        PDF/A: Optional Content Groups are prohibited,\MessageBreak
        using `colorlinks' instead of `ocgcolorlinks'%
      }%
      \Hy@ocgcolorlinksfalse
    \fi
  \fi
  \ifHy@ocgcolorlinks
  \else
    \Hy@DisableOption{ocgcolorlinks}%
  \fi
  \ifHy@colorlinks
    \def\@pdfborder{0 0 0}%
    \let\@pdfborderstyle\@empty
    \Hy@CatcodeWrapper{%
      \RequirePackage{color}%
     }%
    \def\Hy@colorlink#1{%
      \begingroup
      \HyColor@UseColor#1%
    }%
    \def\Hy@endcolorlink{\endgroup}%
    \Hy@Info{Link coloring ON}%
  \else
    \ifHy@frenchlinks
      \def\Hy@colorlink#1{\begingroup\fontshape{\scdefault}\selectfont}%
      \def\Hy@endcolorlink{\endgroup}%
      \Hy@Info{French linking ON}%
    \else
      \def\Hy@colorlink#1{\begingroup}%
      \def\Hy@endcolorlink{\endgroup}%
      \Hy@Info{Link coloring OFF}%
    \fi
  \fi
  % line: 4538
  ...
 
 }

这个 ocglinkcolors 默认为 false, 所以默认情况下会直接走到判断 \ifHy@colorlinks. 如果此时 colorlinks 这个选项为 true，那么 hyperref 会取消这个 border， 对应的语句为: def\@pdfborder{0 0 0}. 然后把这个 \Hy@colorlink1 放到对应的 hyper-text 前面，把 \Hy@endcolorlink 放到 这个 hyper-text 后面，可以想象成下面这个样子:

\Hy@colorlink <hyper-text> \Hy@endcolorlink

这个就是 ocglinkcolors 的运行过程. 想要把这个 box 输出出来也就很简单了：只要把这个 <hyper-text> 放到一个 \fbox 命令中就行了. 但是因为这里是以前以后的两个命令，时候我就用了一个 box 来截取这个 <hyper-text>, 然后把这个 box 放到 \fbox 中. 具体可编译的的代码如下:

\documentclass{article}
\usepackage{xcolor}
\usepackage[colorlinks=true]{hyperref}
\newsavebox{\mybox}
\NewDocumentEnvironment{hyperbox}{}
  {\begin{lrbox}{\mybox}}
  {\end{lrbox}\fbox{\usebox{\mybox}}}

\begin{document}
\makeatletter
\def\Hy@colorlink#1{%
  \begingroup%
  \HyColor@UseColor#1%
  \begin{hyperbox}
}%
\def\Hy@endcolorlink{\end{hyperbox}\endgroup}%
\makeatother


\tableofcontents
\section{Test Title}
Href Test: \href{www.google.com}{GOOGLE}


\subsection{Bib Test}
This is a test.\cite{meow}
\begin{thebibliography}{1}
\setcounter{enumiv}{15}
\bibitem{meow} Meow, Cat. \emph{Meow}. 2021.
\end{thebibliography}
\end{document}

打印预览结果:

3. 备注

• 如果你想要在 colorlinks=false 的情况下输入这个 \fbox 的话，你可以定义 colorlinks=false 那个分支的两个命令.
• 盒子的样式你也可以自定义，把那个 \fbox 换成你喜欢的任何的盒子命令就可以了，比如 \tcbbox{}.
• 个人觉得这个方法目前还不好，如果有更复杂的需求，请继续提问，我就可能会改用其它更好的方法

Happy Hyperref !!

目前给一个比较粗糙的答案, 使用的是递归生成的, 生成的效果大概如下:

• 支持分支，不可以指定上下限

这种情况下可以用上一些 PS 的手段，然后就可以得到像下面这样的结果:

• 不支持分支，可以指定上下限

完整的可编译代码如下:

\documentclass{article}
\usepackage{amsmath}
\usepackage[a3paper, margin=1in]{geometry}



\ExplSyntaxOn
\int_new:N \g_recursion_depth_int
\int_gset:Nn \g_recursion_depth_int {0}
\seq_new:N \g_data_collect_I_seq
\seq_new:N \g_data_collect_II_seq

% ==> fractuation integral
% ARGUMENTS SPECIFICATION
% #1 -> subscript
% #2 -> superscript
% #3 -> total depth
\NewDocumentCommand\NEWINT{mmm}{
  \int_compare:nTF {\g_recursion_depth_int <= #3}{
    \int_gadd:Nn \g_recursion_depth_int {1}
    \_split_int_fractal_tree:ennn 
      {\_split_list}{#1}{#2}{#3}
  }{
    \int
      \c_math_subscript_token{#1}
      \c_math_superscript_token{#2}
  }
}
\NewDocumentCommand\_split_list{}{}
\DeclareDocumentCommand\SplitList{m}{
  \renewcommand\_split_list{#1}
}
% ==> split tree using a int array
% ARGUMENTS SPECIFICATION
% #1 -> places to split the tree
% #2 -> subscript
% #3 -> superscript
% #4 -> total depth
\cs_new_protected:Npn \_split_int_fractal_tree:nnnn #1#2#3#4 {
  \clist_if_in:nVTF {#1}\g_recursion_depth_int {
    \NEWINT
        {\int\c_math_subscript_token {
            #2 \c_math_superscript_token{#3}
          }
        }
        {\int\c_math_superscript_token {#3 \c_math_subscript_token {#2}}}
        {#4}
  }{
    \int_compare:nTF {\g_recursion_depth_int = 1}{
      \NEWINT
        {\int\c_math_subscript_token {#2}\c_math_superscript_token{1}\!x\mathrm{d}x}
        {\int\c_math_superscript_token {#3}\c_math_subscript_token{0}\!x\mathrm{d}x}
        {#4}
    }{
      \NEWINT
        {\int\c_math_subscript_token   {#2}\c_math_superscript_token{\scriptscriptstyle 1}}
        {\int\c_math_superscript_token {#3}\c_math_subscript_token{\scriptscriptstyle 0}}
        {#4}
    }
  }
}
\cs_generate_variant:Nn \_split_int_fractuation_tree:nnnn {ennn}
\makeatletter
\newcommand{\raisemath}[1]{\mathpalette{\raisem@th{#1}}}
\newcommand{\raisem@th}[3]{\raisebox{#1}{$#2#3$}}
\makeatother
\ExplSyntaxOff


\begin{document}
% \SplitList{5, 10, 25, 50}
\[
  \NEWINT{\beta}{\alpha}{20}
\]


\begin{align}
  & \int_a^b x \\
  & \int_a^{\raisemath{-10pt}{b}} x
\end{align}
\end{document}

• l3coffin 的思路我还没有去尝试，后续我也许会换到这个方向上来试一试.
• 关于积分上下限的位置，目前可以使用 \raisemath{}{} 这个函数

不知道我有没有正确理解的需求, 看看下面是不是你想要的.

只需要把上述的 \filldraw 命令换成 \fill 命令即可. 修改后的代码如下:

\documentclass[UTF8]{ctexbook}
\usepackage{xcolor}
\usepackage{tikz}
\newcommand{\piyu}[4]{%
\raisebox{-0.3em}{\begin{tikzpicture}
    \draw[lightgray] (0,0pt) rectangle (20pt, 10pt);%矩形
    \fill[fill = lightgray] (0,0pt) rectangle (10pt, 10pt);%填色，还可以设置线宽
    \node [below,rotate= 0] at (5pt, 6pt) {\smash{\hbox{\color{white}\fangsong\fontsize{8}{10}\selectfont{#1}}\hss}};
    \node [below,rotate= 0] at (15pt, 6pt) {\smash{\hbox{\color{black}\fangsong\fontsize{8}{10}\selectfont{#2}}\hss}};
\end{tikzpicture}%
}% end of raisebox
{\textcolor{#3}{{\fangsong{\fontsize{8}{10}\selectfont#4}}}}}%


\begin{document}
虽是如此说，只这酒色财气四件中，惟有“财色”二者更为利害。怎见得他的利害？假如一个人到了那穷苦的田地，
受尽无限凄凉，耐尽无端懊恼，晚来摸一摸米瓮，苦无隔宿之炊，早起看一看厨前，愧没半星烟火，
\piyu{绣}{眉}{green}{情景逼真。酸俫读此，能不雪涕！}妻子饥寒，一身冻馁，就是那粥饭尚且艰难，
那讨馀钱沽酒？\piyu{绣}{旁}{green}{酒因财缺。}更有一种可恨处，亲朋白眼，面目寒酸，便是凌云志气，
分外消磨，怎能勾与人争气！\piyu{绣}{旁}{green}{气以财弱。}\piyu{张}{夹}{red}{以上反起财。}
正是：\piyu{张}{夹}{red}{这一个“正是”是冷。}

\end{document}

编译结果如下:

这个问题其实在 TSE 上已经有了解答了, 相关解答如下:

• wordbreaking, justification and ttfamily
• Example about hyphenation with ttfamily font

把上述的思路照搬过来，一个修改后的可以正常对齐的示例为:

\documentclass[english,11pt,oneside,article]{memoir}
\usepackage[english]{babel}
\usepackage{geometry}
\usepackage{lipsum}
\setlength{\emergencystretch}{2em}

\usepackage{letltxmacro}
\LetLtxMacro\origttfamily\ttfamily
\DeclareRobustCommand*{\ttfamily}{%
  \origttfamily
  \hyphenchar\font=`\-\relax
  \fontdimen3\font=.25em\relax
  \fontdimen4\font=.167em\relax
  \fontdimen7\font=.167em\relax
}

\makeatletter
\DeclareRobustCommand\vttfamily{%
  \not@math@alphabet\vttfamily\relax
  \fontfamily{cmvtt}% cmvtt (Computer Modern) or lmvtt (Latin Modern)
  \selectfont
}
\DeclareTextFontCommand{\textvtt}{\vttfamily}
\makeatother

\geometry{left=20mm,right=20mm, top=20mm, bottom=50mm}
\OnehalfSpacing
\leftskip3em\rightskip2em



\begin{document}
\lipsum[1]

{\ttfamily \lipsum[1]}
\end{document}

编译结果如下:

1. 思路

根据 tocloft 的官方文档，我们可以知道所谓的那一系列的 leader 是由命令 \cftdotfill 控制的, 此命令的声明如下:

\providecommand{\cftdotfill}[1]{%
  \def\@tempa{#1}%
  \def\@tempb{\cftnodots}%
  \ifx\@tempa\@tempb
    \hfill
  \else
    \ifStartUnumToc
      \hfill\StartUnumTocfalse
    \else
      \leaders\hbox{$\m@th\mkern #1 mu\hbox{\cftdot}\mkern #1 mu$}\hfill
    \fi
  \fi
}

其中的 #1 就是你指定的那个 \cftXdotsep, 这里的 X 就是 chap. 我们可以看到里面有一个比较操作 \ifx\@tempa\@tempb, 这里其实是比较当前传入的 \cftXdotsep 和 \cftnodots， 查看 tocloft.sty 文档,可以发现其生命如下:

% around line 167
\newcommand{\cftnodots}{10000}

所以现在的思路就来了，只要我们在使用 \chapter* 前，让这个 \ifx 走 true 对应的分支，那么就可以取消 ToC 中对应条目后面的 leader 了. 所以只需要把对应的 \cftXdotsep 设置的足够大即可.

我为什么回去找这个 \cftdotfill? 因为官方文档中有这样的说明: "However, if the separation is too large then no dots will be actually typeset. The macro cftnodots is a separation value that is ‘too large’"

2. patch command

下面就来说怎么实现上面的目标，我个人喜欢 patch 的方式，当然，你也可以采用 renewcommand 的方式. 所以这里我引入了 etoolbox 宏包用于在 \chapter* 和 \chapter 命令前设置这两个 \cftXdotsep. 如果你读过 source2e 应该知道，一般的 star-form 的命令和对应的原始命令是通过如下的方式生命的:

\def\foo{\@ifstar\@foo\@@foo}
\def\@foo#1{...}
\def\@@foo#1{...}

所以我们这里要 patch 的命令其实是 \@schapter 和 \@chapter，分别对应 star-form 和 original-form. 但是我们这里要把这些 \cftXdotsep 的重定义注入到 .toc 文件中. (你可以想一想为什么要注入到 .toc 文件，而不是直接放在你的 .tex 文件中?). 所以我们 patch 部分的代码为:

% ==> start patch
\usepackage{etoolbox}
\makeatletter
% 1. cancel dot line
\def\chapter@CancelLeader#1{
  \write\@auxout{%
    \protect\@writefile{toc}{%
      \protect\renewcommand{\protect\cftchapdotsep}{#1}%
    }%
  }%
}
\pretocmd{\@schapter}{\chapter@CancelLeader{10000}}{}{}
\pretocmd{\@chapter}{\chapter@CancelLeader{2}}{}{}
\makeatother

patch 后的 .toc 文件大概长这样:

\renewcommand {\cftchapdotsep }{10000}
\contentsline {chapter}{前序}{I}{}%
\renewcommand {\cftchapdotsep }{10000}
\renewcommand {\cftchapdotsep }{2}
\contentsline {chapter}{\numberline {1}概述}{1}{}%
\contentsline {section}{\numberline {1.1}diyi}{1}{}%
\renewcommand {\cftchapdotsep }{2}
\contentsline {chapter}{\numberline {2}Test I}{3}{}%
\contentsline {section}{\numberline {2.1}sse I}{3}{}%
\contentsline {section}{\numberline {2.2}sse II}{3}{}%
\renewcommand {\cftchapdotsep }{10000}
\contentsline {chapter}{Test II}{5}{}%
\contentsline {section}{\numberline {2.3}sse I}{5}{}%
\contentsline {section}{\numberline {2.4}sse II}{5}{}%

3. mwe

最终修改后的代码为:

\documentclass[12pt,b5paper,twoside]{book}
\usepackage{titlesec,xeCJK,zhlipsum,fontspec}
\usepackage[margin=2.5cm]{geometry}


\setcounter{tocdepth}{1}
\renewcommand{\normalsize}{\fontsize{10.5pt}{14pt}\selectfont}
\titleformat{\chapter}{\centering\fontsize{16pt}{16pt}\sffamily}{\fontsize{16pt}{16pt}\selectfont 第 \thechapter 章}{1em}{}
\titlespacing{\chapter}{0pt}{2cm}{20pt}
\renewcommand{\contentsname}{目 \quad 录}
\usepackage[titles]{tocloft}
\renewcommand{\cftchapnumwidth}{5em}
\renewcommand{\cftdot}{\ensuremath{\cdot}}
\renewcommand{\cftdotsep}{2}
\renewcommand{\cftchapleader}{\cftdotfill{\cftchapdotsep}}
\renewcommand{\cftchapdotsep}{2} 
\renewcommand{\cftchappresnum}{第\ }
\renewcommand{\cftchapaftersnum}{章\ }
\renewcommand{\cftsecindent}{2em}
\renewcommand{\cftsecnumwidth}{2.5em}
\renewcommand{\cftsecpresnum}{\S\ }
\renewcommand{\cftsecaftersnum}{.}


% ==> start patch
\usepackage{etoolbox}
\makeatletter
\def\chapter@CancelLeader#1{
  \write\@auxout{%
    \protect\@writefile{toc}{%
      \protect\renewcommand{\protect\cftchapdotsep}{#1}%
    }%
  }%
}
\pretocmd{\@schapter}{\chapter@CancelLeader{10000}}{}{}
\pretocmd{\@chapter}{\chapter@CancelLeader{2}}{}{}
\makeatother


\begin{document}
  \setlength{\parindent}{2em}
  \pagenumbering{Roman}
  \chapter*{前序}
  \zhlipsum[1]
  \addcontentsline{toc}{chapter}{前序}
  \tableofcontents
  
  \clearpage
  \pagenumbering{arabic}
  \chapter{概述}
  \section{diyi}
  \zhlipsum[2]

  \chapter{Test I}
  \section{sse I}
  \section{sse II}

  
  \chapter*{Test II}
  \addcontentsline{toc}{chapter}{Test II}
  \section{sse I}
  \section{sse II}
\end{document}

对应的编译结果如下:

4. page number

我觉得\chapter* 对应 ToC 项后面的 page number 后看起来并不是那么的美观, 但是既然你在问题里面要求了，我还是把对应的 patch 代码补充在这里吧。把以下的代码放到导言区即可:

%\usepackage{etoolbox}
\makeatletter
% 2. cancel page number
\newif\ifChapter@Num
\def\addcontentsline#1#2#3{%
  \addtocontents{#1}{\protect\contentsline{#2}{#3}{\ifChapter@Num\thepage\fi}{}%
  \protected@file@percent}
}
\pretocmd{\@schapter}{\Chapter@Numfalse}{}{}
\pretocmd{\section}{\Chapter@Numtrue}{}{}
\pretocmd{\@chapter}{\Chapter@Numtrue}{}{}
\makeatother

加上这个 patch 后的编译效果如下:

可以使用一个宏 \@addtoreset 来更新 equation 计数器, 可用的代码如下:

\documentclass{article}
\usepackage{amsmath}
\usepackage{lipsum}
\renewcommand{\thesection}{\S{}\arabic{section}}
\makeatletter
\@addtoreset{equation}{section}
\renewcommand{\theequation}{\arabic{section}.\arabic{equation}}
\makeatother



\begin{document}
\tableofcontents
\vspace*{8em}

\section{equation sign}
\begin{align}
  a^2 + b^2 = c^2 \\
  a^2 + b^2 = c^2 \\
  1 + 1 = 3
\end{align}


\section{ref style}
\begin{subequations}
  \begin{align}
  \sum_{n=1}^{\infty} \frac{1}{n^2} &= \frac{\pi^1}{1111} \\
  \sum_{n=1}^{\infty} \frac{1}{n^2} &= \frac{\pi^2}{2222} \\
  \sum_{n=1}^{\infty} \frac{1}{n^2} &= \frac{\pi^3}{3333} \\
  \sum_{n=1}^{\infty} \frac{1}{n^2} &= \frac{\pi^4}{4444}\label{eq:pythagoras}
  \end{align}
  \label{eq:mult-lines}
\end{subequations}


Hello world \ref{eq:pythagoras}, equation ref style: \eqref{eq:pythagoras}
\end{document}

编译结果: