也可以试试 callouts 宏包，用 callouts 宏包在图片上增加标，https://latexstudio.net/index/details/index/mid/1335.html
也可以试试 callouts 宏包，用 callouts 宏包在图片上增加标，https://latexstudio.net/index/details/index/mid/1335.html
也许可以考虑用xcoffins宏包。
xcoffins 宏包手册帮助文档(中译版)，
https://www.latexstudio.net/index/details/index/mid/1394。
这里有一个解决方法：“固定列宽、内容居中、自动换行、且有下画线”效果的一种实现方法，https://latexstudio.net/index/details/index/mid/1799.html。
原始出处：Cut string into pieces，https://tex.stackexchange.com/questions/609378/cut-string-into-pieces。
这里，“固定列宽、内容居中、自动换行、且有下画线”效果的一种实现方法，https://latexstudio.net/index/details/index/mid/1796.html 给出了一种不太优雅的实现方法。
这里，“固定列宽、内容居中、自动换行、且有下画线”效果的一种实现方法（2），https://latexstudio.net/index/details/index/mid/1800.html，是另一种实现方法。
个人推荐第2种实现方法。
可考虑使用 spacingtricks 宏包。修改效果见红框内。
\documentclass[a5paper]{ctexart}
\usepackage{ctex}
\usepackage{amsmath,mathtools}
\newcommand\dif{\mathop{}\!\mathrm{d}}
\usepackage{array}
\usepackage{polynom}
\usepackage{scalerel}
\newcommand{\longdiv}{\smash{\mkern-0.43mu\vstretch{1.34}{\hstretch{0.9}{)}}\mkern-5.95mu\vstretch{1.34}{\hstretch{0.9}{)}}}}
\usepackage{spacingtricks}
\begin{document}
\[\arraycolsep=1pt
%\renewcommand\arraystretch{1.2}
\begin{array}{*1r@{\hskip\arraycolsep}c@{\hskip\arraycolsep}*{8}{>{\textstyle}r}}
& & & & \frac{1}{2} & + & \frac{3y}{4} & + & \frac{y^2}{8} \\
\cline{2-9}
2+y & \longdiv & 1 & + & 2y & + & y^2 & & & \\
& & 1 & + & \frac{y}{2} & & & &\\
\cline{3-5}
\strut & & & & \frac{3y}{2} & + & y^2 & & \\
& & & & \frac{3y}{2} & + & \frac{3y^2}{4} & \\
\cline{5-7}
& & & & & & \frac{y^2}{4} & & \\
& & & & & & \frac{y^2}{4} & + & \frac{y^3}{8}\\
\cline{7-9}
& & & & & & & - & \frac{y^3}{8}\\
\end{array}\qquad
\begin{array}{*1r@{\hskip\arraycolsep}c@{\hskip\arraycolsep}*{8}{>{\displaystyle}r}}
& & & & \vstrut[3ex]{5ex}\frac{1}{2} & + & \frac{3y}{4} & + & \frac{y^2}{8} \\
\cline{2-9}
2+y & \longdiv & 1 & + & 2y & + & y^2 & & & \\
& & 1 & + & \frac{y}{2} & & & &\\
\cline{3-5}
\strut & & & & \vstrut{4ex}\frac{3y}{2} & + & y^2 & & \\
& & & & \frac{3y}{2} & + & \frac{3y^2}{4} & \\
\cline{5-7}
& & & & & & \frac{y^2}{4} & & \\
& & & & & & \frac{y^2}{4} & + & \frac{y^3}{8}\\
\cline{7-9}
& & & & & & & - & \frac{y^3}{8}\\
\end{array}\]
\[\polylongdiv[vars=x]{x^5-\frac{3}{2}x^3+\frac{5}{3}x+9}{1+\frac{2}{3}x^2}\]
\end{document}
vwcol宏包
\documentclass{ctexart}
\usepackage{vwcol}
\usepackage{zhlipsum}
\usepackage{lipsum}
\begin{document}
\begin{vwcol}[widths={0.3,0.7}]
\zhlipsum[1]
\end{vwcol}
\end{document}
请移步：抄录环境中跨越多行的大括号，https://latexstudio.net/index/details/index/mid/1794.html
\documentclass{ctexart}
% 页面设置
\usepackage{geometry}
\geometry{a4paper,height=235mm,width=156mm}
\usepackage{tikz}
\usetikzlibrary{tikzmark,decorations.pathreplacing,calligraphy}
\usepackage{listings}
\usepackage{xurl}
\usepackage{hyperref}
\begin{document}
\title{抄录环境中跨越多行的大括号}
\author{zhangsming@foxmail.com}
\date{2021/08/03}
\maketitle
本文是 \LaTeX 工作室网站上问答栏目“如何在代码环境中插入跨越多行的花括号?”问题（\url{https://ask.latexstudio.net/ask/question/3646.html}）的一种实现方法。
实现代码如下：
\begin{verbatim}
%\usepackage{listings}
\lstset {
,numbers = left
,numberstyle=\tiny
,backgroundcolor=\color{lightgray!50}
,basicstyle=\ttfamily
,escapeinside= {!}{!}
}
\begin{lstlisting}
function gcd(p,q) {
if (q === 0) {!\tikzmark{a}!
return q;
}else{
let r = p % q;!\tikzmark{b}!
return gcd(q, r);
}
}
\end{lstlisting}
\begin{tikzpicture}[remember picture,overlay]
\path (pic cs:a) -|node(test){} (pic cs:b);
\draw[overlay,decorate,
decoration={calligraphic brace,amplitude=4mm},
ultra thick] ([xshift=.3333em,yshift=.5em]test.center) --
([xshift=.3333em]pic cs:b)
node[xshift=5mm,anchor=west,midway]
{抄录环境大括号测试};
\end{tikzpicture}
\end{verbatim}
实际排版效果如下：
%\usepackage{listings}
\lstset {
,numbers = left
,numberstyle=\tiny
,backgroundcolor=\color{lightgray!50}
,basicstyle=\ttfamily
,escapeinside= {!}{!}
}
\begin{lstlisting}
function gcd(p,q) {
if (q === 0) {!\tikzmark{a}!
return q;
}else{
let r = p % q;!\tikzmark{b}!
return gcd(q, r);
}
}
\end{lstlisting}
\begin{tikzpicture}[remember picture,overlay]
\path (pic cs:a) -|node(test){} (pic cs:b);
\draw[overlay,decorate,
decoration={calligraphic brace,amplitude=4mm},
ultra thick] ([xshift=.3333em,yshift=.5em]test.center) --
([xshift=.3333em]pic cs:b)
node[xshift=5mm,anchor=west,midway]
{抄录环境大括号测试};
\end{tikzpicture}
\end{document}
你的代码里，设置了2次 section 和 subsection 条目的字体，第2次的把第1次的覆盖了。
\documentclass{standalone}
\usepackage{nicematrix}
\begin{document}
\begin{NiceTabular}[columns-width = 1cm]{ccccccc}
\hline
$n$&$1$&$2$&$3$&$4$&5&6\\
\hline
$Na^{\scriptscriptstyle{+}}$&$3$&$4$&$5$&$6$&6&7\\
$K^{\scriptscriptstyle{+}}$&$2$&$4$&$5$&$7$&7.2&8\\
$Ca^{\scriptscriptstyle{2+}}$&$9$&$10$&$10.5$&$11.2$&11.5&11.9\\
\hline
\end{NiceTabular}
\end{document}第1个问题：可使用relsize宏包的mathsmaller命令；
第2个问题：可使用mathtools宏包的dcases环境。
\documentclass{ctexart}
\usepackage{amsmath}
\everymath{\displaystyle}
\usepackage{relsize}%相对字体尺寸宏包
\usepackage{mathtools}
\begin{document}
$f_{\mathsmaller{X}}(x)$
$f_{X}(x)$
\begin{align*}
f_{Y}(y) =
\begin{dcases}%\usepackage{mathtools}
f_{X}[h(y)]|h'(y)|, &\alpha < y < \beta \\
0, &\text{其他}
\end{dcases}
\end{align*}
\begin{align*}
f_{Y}(y) =
\begin{cases}
f_{X}[h(y)]|h'(y)|, &\alpha < y < \beta \\
0, &\text{其他}
\end{cases}
\end{align*}
\end{document}
把所有临时文件都删除试试
\documentclass{ctexbook}
\usepackage{amsmath}
\usepackage{array}
\usepackage{color}
\def\stk#1{\color{red}\underline{#1}}
\begin{document}
\begin{tabular}{|c|m{0.7\textwidth}|}
\hline
符号表示 & \stk {$ \exists $} \\
\hline
\end{tabular}
\end{document}
可以用fancypar宏包实现。
\documentclass{ctexart}
\usepackage{tcolorbox}
\usepackage{fancypar}
\usepackage{amsmath}
\begin{document}
\begin{tcolorbox}[colback=red!5!white,colframe=red!75!black,title=My nice heading]
\UnderlinedPar[rulecolor=black]{段落横线英文测试This is another \textbf{tcolorbox}.
段落横线中文测试
段落横线数学测试$\dfrac{A}{B}$
}
\end{tcolorbox}
\end{document}
fancypar还有其他段落格式，如
2021-04-25 补充：
fancypar(v1.3)宏包简介，https://latexstudio.net/index/details/index/mid/1455.html。
snotez宏包，可以解决你的问题。关于snotez宏包，详见：https://latexstudio.net/index/details/index/mid/785，https://latexstudio.net/index/details/index/mid/1221
问 请问latex可以在位图上面作矢量图的标注吗？