2017-9-28 12:50|发行商：查看精炼数为金_小数的：17682|注释3360|来自原作者：lcdyd|:机器心
基本符号
中文排版
无论是中文还是英语，科技文章中通常使用英语半角标点符号。 中文文章的行内式和两边的正文之间必须有空格。 其中，“~”是没有间断的空间。 例如：
通过计算协方差矩阵~$Sigma$~，ldots %可以引起注意
此外，建议使用XeLaTeX编译器编译中文文章。 XeLaTeX适合中文支持。 例如，可以在行内表达式和两侧的正文之间自动添加空格，而无需人为指定。
括号/引用编号
英语文章中的括号和引号[1]、[2]等]与前面的词语留有空格，但中文文章通常不同。 例如：
打印组件分析(PCA ) isastatisticalprocedurethatl dots
引号
与Word这种一看就能得到的排版软件不同，LaTeX用不同的符号表示左引号和右引号。 左引号用`表示(键盘左上角，制表符上)，右引号用)表示) (平时输入引号的键)。 双引号是通过输入两个引号得到的。 例如：
“机械”，“学习”。
连字符
不同长度的“-”表示不同的意思。 单词中使用“-”长度的连字符； 两个'-'长度的连字符经常用于创建范围。 三个'-'长的连字符是破折号； 数学负数必须在数学环境下的-中得到。 例如：
daughter-in-law，pages 13--67，yes --- or no？$-1$。
强调
在正式文章中，通常不会用粗体字强调，应该强调的词用斜体表示。 例如：
pcaisthesimplestofthetrueemph { eigenvector }-basedmultivariateanalyses。
数字分隔符
文中出现的长位数数字用逗号'、'分隔，每3位分隔一次，逗号两侧不加空格。 例如：
themnistdatasetcontains 60，000 imagesl dots
图表格式
所有的图表都需要主题。 图的主题写在图的下方，表的主题写在表的上方。 图表的标题是一句话，所以以句号“.”结束。 文中对图/表/章的引用可以通过以下方法注意到Figure/Table/Section与数字之间的'~':
ldots，asillustratedinfigure~1.\l dots，as shown in Figure~2. \
as figure至3 illustrates，ldots \
Figure~4 shows ldots \
table~1 summarizesl dots\ ldotswillbediscussedinsection~1.\l dots，as described in Section~2。
实际上在写作时，所有的引用(figure，table，equation，section )都应该用ref来管理，这样就可以自动生成编号，避免了手工编号的麻烦。
数学环境
由于LaTeX本身只提供最基本的数学符号和环境，如果需要写公式，通常在引言区引入amsmath包：
usepackage{amsmath}
以下假设已导入amsmath软件包。
数学符号
域数
实数域、自然数域等表示数个域的符号必须用空字符表示。 空字符在LaTeX中用mathbb输入。 这需要在引言区域导入amssymb包。 例如：
use package { amssy MB } $math bb { r }，mathbb{N}$。
组合数
与国内通常用Cnk表示组合数不同，国际上一般用括号表示组合数，读作“n choose k”。 在LaTeX中，组合数可以用binom命令给出。 例如：
$binom{n}{k}$。
集合
可以使用竖线“|”或冒号在集合中进行拆分
:". 分割符与左右要有空格。例如：
${x mid x ge 0.}$. % Note "mid" instead of "|"
省略号
省略号分两种。列举一系列元素中的省略用 ldots; 数学运算表达式中的省略用 cdots. 即省略号高度要和左右符号的高度一致。而在普通文本中的省略号一律用 ldots。例如:
$x_1, x_2, ldots, x_n$, $x_1 + x_2 + cdots + x_n$.
优化问题
通常, 优化问题解得的最优值用 star 表示, 而不是"*". 优化问题的变量要写到"arg min"或"arg max"整体的下方。例如:
begin{equation}
x^star = mathop{argmin}_x (x-1)^2 ,.
end{equation}
函数映射
函数映射通常有其固定的写法, 例如:
$fcolon A mapsto B$.
矩阵与向量
矩阵和向量要用粗体表示。有人习惯于用直立粗体表示矩阵, 用斜体粗体表示向量。使用 bm 需要在引言区导入 bm 包. 例如:
usepackage{bm}$bf{A}, bf{Omega}, bm{x}, bm{mu}$.
如果让大小写字母都变为斜体粗体, 可以用 boldsymbol 命令。例如:
$boldsymbol{A}, boldsymbol{Omega}, boldsymbol{x}, boldsymbol{mu}$.
此外向量也可以用箭头标注。例如：
$vec x, vec mu$.
矩阵和向量可以用中括号"[]"或小括号"()"表示, 目前国际上用中括号表示更常见, 这是因为用小括号表示矩阵和向量容易和表示代数运算优先级的小括号相混淆。在 LaTeX 中可以用 bmatrix 环境书写矩阵。例如:
begin{equation}
begin{bmatrix}
a_{11} & a_{12} & cdots & a_{1n} \
a_{21} & a_{22} & cdots & a_{2n} \
vdots & vdots & ddots & vdots \
a_{m1} & a_{m2} & cdots & a_{mn} \
end{bmatrix}
end{equation}
数学公式中的直立体
有单位的量
表示单位量纲的符号不是变量, 故应当以直立体出现, 并且数字和单位之间要有空格, 例如:
$m = 50,mathrm{kg}, V = 150,mathrm{m}^3$. % Note ","
此外, siunitx 包含了标准单位, 能自动调整字体和间距, 还可以以非常自然的方式实现复杂的单位和科学记数法等表达。
微元符号
表示微元的 d 不是变量, 应当以直立体出现。此外, 在积分符号中, 微元符号要与前面的被积函数保持一定空格距离. 例如:
$int_1^2 log x , mathrm{d} x$. % Note ","
转置符号
表示转置的 T 不是变量, 应当以直立体出现。例如：
$boldsymbol x^{mathrm{T}}$.
此外, 也有人用 intercal, top, 或 mathsf{T} 来表示转置.
函数名
函数名不是变量, 故应当以直立体出现。LaTeX 内置支持一些常用的函数名, 例如:
$sin(x), exp(x)$.
当我们需要自己定义函数名时, 在在引言区使用 DeclareMathOperator 命令声明需要定义的函数名。例如:
DeclareMathOperator{sign}{sign}
$sign(x)$.
公式标点与标号
标号基础
重要的公式需要标号。包含在 equation 环境中的环境会被自动标号, 如果你不需要标号, 可以用 equation*环境或将公式放于[和] 之间。例如:
begin{equation} % Equation with numbering
e^{ipi} = -1
end{equation}
begin{equation*} % Equation without numbering
a^2 + b^2 = c^2
end{equation*}
[ % Equation with numbering
a^2 + b^2 = c^2
]
标点基础
公式后的标点是很多人忽视的地方。并不是所有公式后都要或不要加标点, 公式 (包括行内公式和行间公式) 是句子的一部分, 因此, 我们需要根据公式在句子中所处的位置来判断在公式后加什么标点. 行间公式中公式和标点之间要空格。例如:
Einstein introduced his formula
begin{equation}
E = m cdot c^2 ,, % Note ",,"
end{equation}
which is at the same time the most widely known and the least well understood
physical formula.
ldots from which follows Kirchhoff's current law:
begin{equation}
sum_{k=1}^n I_k = 0 ,. % Note ",."
end{equation}
begin{equation}
I_D = I_F - I_R % No break
end{equation}
is the core of a very different transistor model.
多行公式的标点与标号
多行公式通常只在最后一行结尾时根据需要标点与标号。版本的 LaTeX 建议使用 IEEEeqnarray 环境替代 eqnarray 环境书写多行公式, 这需要在引言区导入 IEEEtranstools 包。例如:
usepackage[retainorgcmds]{IEEEtrantools}
begin{IEEEeqnarray*}{rCl}
a &=& b + c \
&=& d + e \
&=& f + g ,. IEEEyesnumber \
end{IEEEeqnarray*}
多分支公式的标点与标号
分支是公式的一部分, 我们只对整体做一个标号, 不对每个分支进行单独标号。每个分支需要单独进行标点: 前面的分支结束后要用分号";", 最后一个分支结束后根据需要进行标点。此外, 和写编程语言不同, 与 if 分支对应的通常是 otherwise, 而不是 else. LaTeX 中, 分支可以用 cases 环境书写。例如:
begin{equation}
|x| =
begin{cases}
-x & text{if } x < 0 ,;\
x & text{otherwise} ,. \
end{cases}
end{equation}
优化问题的标点与标号
通常 max/min 和 s.t.(读作"subject to"而不是"such that") 保持中心对齐, 目标函数项和各约束项保持左对齐。只在目标函数项那一行标号但不标点, 各约束项标点但不标号。例如:
begin{alignat}{2}
min_x quad & f(x) & \
mathrm{s.t.} quad & g_i(x) le 0, &quad i = 1, 2, ldots, m ,, nonumber \
& h_j(x) = 0, &quad j = 1, 2, ldots, n ,. nonumber
end{alignat}
此外, 也有人将优化问题看作一个整体, 对整体作一居中标号。
数学证明
数学证明以"Proof."开始, 以方框符号结尾。amsthm 包提供了证明环境。例如:
usepackage{amsthm}
begin{proof}
Trivial.
end{proof}
致谢
感谢 @ 可爱的大船对 siunitx 包的介绍, @ 胡不退对 ref 的建议, @ sldmy对转置和优化问题标号的建议.
参考文献
Oetiker, Tobias, et al. "The not so short introduction to LATEX 2ε." (2001).
作者简介: lcddyd: 南京大学计算机系机器学习与数据挖掘所（jmdsh）研究生, 研究方向为计算机视觉和机器学习, 特别是视觉识别和深度学习. 个人主页: http://lamda.nju.edu.cn/zhangh/.