latex 定理环境,引理,定义,自定义 proof 环境
来源:互联网 发布:js鼠标移动到图片放大 编辑:程序博客网 时间:2024/05/17 02:52
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表示结尾空一段
显示效果:
0 0
- latex 定理环境,引理,定义,自定义 proof 环境
- latex中定理定义等数学环境下的字体设置
- laTex中文环境配置
- ubuntu latex环境
- ubuntu中文latex环境
- LaTeX 控制序列 & 环境
- LaTeX实战经验:配置LaTeX使用环境
- LaTeX中算法环境设置
- 排版软件Latex环境搭建
- MAC下LaTex环境配置
- vim和latex环境搭建
- Latex中的列表环境[一]
- latex 常用环境(environment)
- ubuntu集成latex开发环境
- Ubuntu的LaTeX环境配置
- LaTeX在自定义环境中要使用\input才能出效果
- Latex中定理、引理、证明、假设
- LaTeX代码环境配置:使用LaTeX展示Python代码
- Matlab入门
- http
- 高次方尾数问题
- Codeforces 689D Friends and Subsequences【思维+二分+RMQ】套路题
- java注解
- latex 定理环境,引理,定义,自定义 proof 环境
- (四)顺序串和链串
- 初步了解-集合框架
- 本人的oi之路————————序
- OneThink+PHPExcel灵活适应导出数据Excel表(导出)
- Nginx日志文件的配置
- 初步了解-泛型
- 简单却又复杂的FizzBuzz面试编程问题
- 【CodeForces 282B】Painting Eggs(模拟)