LaTeX技巧172：如何制作证明环境结束符

证明环境在LaTeX中非常常用，下面我们来制作证明环境的结束符，希望对您有所帮助。

\def\QEDclosed{\mbox{\rule[0pt]{1.3ex}{1.3ex}}} % 定义实心符
\def\QEDopen{{\setlength{\fboxsep}{0pt}\setlength{\fboxrule}{0.2pt}\fbox{\rule[0pt]{0pt}{1.3ex}\rule[0pt]{1.3ex}{0pt}}}} %定义空心符
\def\QED{\QEDopen} % 选填\QEDclosed得到实心
\def\proof{\noindent{\bf Proof}: } %定义证明，注意选择中英文
\def\endproof{\hspace*{\fill}~\QED\par\endtrivlist\unskip}%在proof环境自动添加结束符。

演示效果图：

演示代码：

\documentclass{article}
\usepackage{CJK}
\setlength\textwidth{150.0pt}
\def\QEDclosed{\mbox{\rule[0pt]{1.3ex}{1.3ex}}} % 定义实心符
\def\QEDopen{{\setlength{\fboxsep}{0pt}\setlength{\fboxrule}{0.2pt}\fbox{\rule[0pt]{0pt}{1.3ex}\rule[0pt]{1.3ex}{0pt}}}} %定义空心符
\def\QED{\QEDopen} % 选填\QEDclosed得到实心
\def\proof{\noindent{\bf Proof}: } %定义证明，注意选择中英文
\def\endproof{\hspace*{\fill}~\QED\par\endtrivlist\unskip}%在proof环境自动添加结束符。
\begin{CJK*}{GBK}{song}
\begin{document}
\begin{proof}
由微分定理知，
$$\sum_{i=1}^n a_i \quad\int_a^b f(x)\mathrm{d}x$$
\end{proof}
\paragraph{}
\newpage
\end{CJK*}
\end{document}