定义引理时对格式的需求

前面两个都比较常规, 第三个, 常规判断肯定不行, 要定义新的环境.

需要编译两次。很难简短解释。 ```tex \documentclass{article} \usepackage{amsthm} \usepackage{etoolbox} % 定义 theorem 环境 \newtheorem{theorem}{Theorem} \counterwithin*{theorem}{section} \makeatletter % 定义供用户使用的 lemma 环境 \newenvironment{lemma}[1][]{% \stepcounter{lemma}% % 把命令名储存在 \@tempa 中 % - 为保证命名唯一，此处使用 lem@sec<thesec>@thm<thm> % - 使用 <thesec> 而非 <sec>，是为了应对有附录的情况 \edef\@tempa{lem@sec\thesection @thm\the\c@theorem}% % 如果这是 theorem 后的第二个 lemma 环境，那么向 aux 文件写入信息， % 相当于写入了 \global\let\lem@sec<thesec>@thm<thm>=\@empty \ifnum\the\c@lemma=2\relax \immediate\write\@auxout {\string\global\string\cslet{\@tempa}\string\@empty}% \fi % 如果 \lem@sec<thesec>@thm<thm> == \@empty，那么有至少两个引理，使用编号的引理环境； % 否则使用不编号的 \expandafter\ifx\csname \@tempa\endcsname\@empty \def\@lem@envname{lemma@numbered}% \else \def\@lem@envname{lemma@unnumbered}% \fi \csname\@lem@envname\endcsname[#1] }{% \csname end\@lem@envname\endcsname } % 定义计数器 lemma，记录每个 themrem 后 lemma 环境的数量 \newcounter{lemma}[theorem] % 定义内部引理环境 \newtheorem{lemma@numbered}{Lemma} % 编号的 \newtheorem*{lemma@unnumbered}{Lemma} % 不编号的 \counterwithin*{lemma@numbered}{theorem} % 测试用命令 \def\test@unnumbered{ \begin{theorem} content \end{theorem} \begin{lemma} content \end{lemma} } \def\test@numbered{ \begin{theorem} content \end{theorem} \begin{lemma} content \end{lemma} \begin{lemma} content \end{lemma} } \def\testA{\section{title} \test@unnumbered \test@numbered} \def\testB{\section{title} \test@numbered \test@unnumbered} \makeatother \begin{document} \testA \testB \appendix \testA \testB \end{document} ```