l一般的atex 的定理环境, amsmath 安装包自带,用法为:
\newtheorem {环境名}  {标题} [排序单位]
[排序单位] 一般为 chapter,若带上 chapter 则表示 定理按章节编号。
下列代码放入导言区:
\usepackage{amsmath}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{proof}{Proof}[section]
使用时:
\section{theorem}
\begin{theorem}
This is a theorem.
\end{theorem}
\begin{lemma}
This is a lemma.
\end{lemma}
\section{Proof}
\begin{proof}
This is proof.
\end{proof}
显示效果:
但若要更加精细的定理环境,例如修改编号,修改间距等,则需要安装包 ntheorem
1.  若取消定理类环境的编号,则在定理类环境时,加上星号。
\newtheorem*{lemma}{Lemma}
\begin{lemma}
This is a lemma.
\end{lemma}
显示效果:
2. 改变排版格式
\theoremheaderfont { 字体命令}    改变标题字体
\theorembodyfont{ 字体命令}   改变定理内正文字体
\theoremindent  左缩进宽度
\qedsymbol{结束符〉和\qed  如果希望某个定理类表达式换用其他结束符,可以先用命令\qedsymbol 来定义,然后
在该表达式中使用命令\qed 将结束符置于右下角。
\theoremnumbering {计数形式}: 设置序号的计数形式,它的默认值是arabic ,可改为采用alph 、Alph 、rom、Roman 、
greek 、Greek 、chinese 或fnsymbol 计数形式。
\theoremstyle {格式〉 有break等命令。break 让 定理与内容隔开。
举例:
\theorembodyfont{\bfseries\upshape}
\theoremseparator{:}
\theoremstyle{break}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{proof}{Proof}[section]
\section{theorem}
\begin{theorem}[introduction]
This is a theorem.
\end{theorem}
\begin{lemma}
This is a lemma.
\end{lemma}
\theorembodyfont{\upshape}
\theorembodyfont{\bf}
\section{Proof}
\begin{proof}
This is proof.
\end{proof}
显示效果:
3. 自定义proof 环境
使用命令: \newenvironment {新环境} {开始定义} {结束定义}
举例:定义证明环境为 proof 斜体,证明以 方框结束。
\newenvironment{proof}{{\noindent\it Proof}\quad}{\hfill $\square$\par}
上面的命令中, \noindent 表示 proof 没有缩进,\it 表示 proof 斜体, \quad 表示 proof 后面空四个空格, \hfill 表示右对齐, \square 表示方框,\par表示结尾空一段
显示效果:
————————————————
版权声明:本文为CSDN博主「心态与做事习惯决定人生高度」的原创文章,遵循CC 4.0 BY-SA版权协议,转载请附上原文出处链接及本声明。
原文链接:https://blog.csdn.net/robert_chen1988/java/article/details/61204853

根据http://blog.sina.com.cn/s/blog_60b44d6a0101o815.html,定义的格式如下:
\newtheorem{defn}{Definition}[section]
\begin{defn}
...
\end{defn}