# LaTeX 各种命令，符号

## 函数、符号及特殊字符

### 声调

\bar{x} \acute{\eta} \check{\alpha}
\grave{\eta} \breve{a} \ddot{y}
\dot{x} \hat{\alpha} \tilde{\iota}

### 函数

\sin\theta \cos\theta \tan\theta
\arcsin\frac{L}{r} \arccos\frac{T}{r} \arctan\frac{L}{T}
\sinh g \cosh h \tanh i
\operatorname{sh}j \operatorname{argsh}k \operatorname{ch}h
\operatorname{argch}l \operatorname{th}i \operatorname{argth}m
k'(x)=\lim_{\Delta x\to 0}\frac{k(x)-k(x-\Delta x)}{\Deltax} \limsup S \liminf I
\max H \min L \inf s
\sup t \exp\!t \ln X
\lg X \log X \log_\alpha X
\ker x \deg x \gcd(T,U,V,W,X)
\Pr x \det x \hom x
\arg x \dim x \lim_{t\to n}T

### 同余

\pmod{m} a \bmod b

### 微分

\nabla \partial x \mathrm{d}x
\dot x \ddot y

### 集合

\forall \exists \empty \emptyset \varnothing
\in \ni \not\in \notin \subset
\subseteq \supset \supseteq \cap \bigcap
\cup \bigcup \biguplus \sqsubset \sqsubseteq
\sqsupset \sqsupseteq \sqcap \sqcup \bigsqcup

### 逻辑

p \land \wedge \bigwedge
\bar{q} \to p \lor \vee \bigvee
\lnot \neg q \setminus \smallsetminus

### 根号

\sqrt{3} \sqrt[n]{3}

### 关系符号

\Delta ABC\sim\Delta XYZ
\sqrt{3}\approx1.732050808\ldots
\simeq
\cong
\dot=
\ggg
\gg
>
\ge
\geqq
=
\leq
\leqq
<
\ll
\lll
(x-y)^2\equiv(-x+y)^2\equiv x^2-2xy+y^2

\begin{align}

\because\begin{cases}

\acute{a}x^2+bx^2+c\gtrless0\gtrless\grave{a}x^2+bx^2+c\\

\acute{a}>0>\grave{a}

\end{cases}\\

\therefore\frac{-b\pm\sqrt{b^2-4\acute{a}c}}{2\acute{a}}{}_\lessgtr^\gtrlessx_\lessgtr^\gtrless\frac{-b\pm\sqrt{b^2-4\grave{a}c}}{2\grave{a}}

\end{align}

x\not\equiv N
x\ne A
x\neq C
t\propto v
\pm
\mp

### 箭头符号

\leftarrow \gets \rightarrow
\to \leftrightarrow \longleftarrow
\longrightarrow \mapsto \longmapsto
\hookrightarrow \hookleftarrow \nearrow
\searrow \swarrow \nwarrow
\uparrow \downarrow \updownarrow

\rightharpoonup \rightharpoondown \leftharpoonup \leftharpoondown
\upharpoonleft \upharpoonright \downharpoonleft \downharpoonright

\Leftarrow \Rightarrow \Leftrightarrow
\Longleftarrow \Longrightarrow \Longleftrightarrow (or \iff)
\Uparrow \Downarrow \Updownarrow

### 特殊符号

\eth \S \P \% \dagger \ddagger
\star * \ldots \smile \frown \wr

\oplus \bigoplus \otimes
\bigotimes \times \cdot
\div \circ \bullet
\bigodot \boxtimes \boxplus

\triangleleft \triangleright \infty \bot
\top \vdash \vDash \Vdash
\models \lVert \rVert

\imath \hbar \ell
\mho \Finv \Re
\Im \wp \complement

\Game \flat \natural \sharp

## 上标、下标及积分等

a_{i,j}

HTML
x'

PNG
x^\prime

x\prime

\ddot{y}

\overleftarrow{a b}
\overrightarrow{c d}
\widehat{e f g}

(注: 正确应该用 \overarc, 但在这里行不通。要用建议的语法作为解决办法)
\overset{\frown} {AB}

\begin{matrix} 5050 \\ \overbrace{ 1+2+\cdots+100 }\end{matrix}

\begin{matrix} \underbrace{ a+b+\cdots+z } \\ 26\end{matrix}

\begin{matrix} \sum_{k=1}^N k^2 \end{matrix}

\begin{matrix} \prod_{i=1}^N x_i \end{matrix}

\begin{matrix} \coprod_{i=1}^N x_i\end{matrix}

\begin{matrix} \lim_{n \to \infty}x_n\end{matrix}

\begin{matrix} \int_{-N}^{N} e^x\, dx\end{matrix}

## 分数、矩阵和多行列式

\begin{matrix}
x & y \\
z & v
\end{matrix}

\begin{vmatrix}
x & y \\
z & v
\end{vmatrix}

\begin{Vmatrix}
x & y \\
z & v
\end{Vmatrix}

\begin{bmatrix}
0      & \cdots & 0      \\
\vdots & \ddots & \vdots \\
0      & \cdots & 0
\end{bmatrix}

\begin{Bmatrix}
x & y \\
z & v
\end{Bmatrix}

\begin{pmatrix}
x & y \\
z & v
\end{pmatrix}

\bigl( \begin{smallmatrix}
a&b\\ c&d
\end{smallmatrix} \bigr)


f(n) =
\begin{cases}
n/2,  & \mbox{if }n\mbox{ is even} \\
3n+1, & \mbox{if }n\mbox{ is odd}
\end{cases}


\begin{align}
f(x) & = (m+n)^2 \\
& = m^2+2mn+n^2 \\
\end{align}

\begin{alignat}{2}
f(x) & = (m-n)^2 \\
f(x) & = (-m+n)^2 \\
& = m^2-2mn+n^2 \\
\end{alignat}


\begin{array}{lcl}
z        & = & a \\
f(x,y,z) & = & x + y + z
\end{array}


\begin{array}{lcr}
z        & = & a \\
f(x,y,z) & = & x + y + z
\end{array}


$f(x) \,\!$
$= \sum_{n=0}^\infty a_n x^n$
$= a_0+a_1x+a_2x^2+\cdots$



\begin{cases}
3x + 5y +  z \\
7x - 2y + 4z \\
-6x + 3y + 2z
\end{cases}


\begin{array}{|c|c||c|} a & b & S \\
\hline
0&0&1\\
0&1&1\\
1&0&1\\
1&1&0\\
\end{array}


## 字体

### 希腊字母

\Alpha \Beta \Gamma \Delta \Epsilon \Zeta \Eta\Theta
ΑΒ Γ ΔΕ Ζ ΗΘ
\Iota \Kappa \Lambda \Mu \Nu \Xi \Omicron \Pi
ΙΚ Λ ΜΝ Ξ ΟΠ
\Rho \Sigma \Tau \Upsilon \Phi \Chi \Psi\Omega
ΡΣ Τ ΥΦ Χ ΨΩ

\alpha \beta \gamma \delta \epsilon \zeta \eta\theta
\iota \kappa\varkappa \lambda \mu \nu \xi \omicron\pi
\rho \sigma \tau \upsilon \phi \chi \psi\omega

\Epsilon\epsilon\varepsilon
\Theta\theta\vartheta
\Kappa\kappa\varkappa
\Pi\pi\varpi
\Rho\rho\varrho
\Sigma\sigma\varsigma
\Phi\phi\varphi

\digamma
Ϝ[1]

\boldsymbol{\Alpha \Beta \Gamma \Delta \Epsilon \Zeta\Eta \Theta}
\boldsymbol{\Iota \Kappa \Lambda \Mu \Nu \Xi \Omicron\Pi}
\boldsymbol{\Rho \Sigma \Tau \Upsilon \Phi \Chi \Psi\Omega}

\boldsymbol{\alpha \beta \gamma \delta \epsilon \zeta\eta \theta}
\boldsymbol{\iota \kappa \lambda \mu \nu \xi \omicron\pi}
\boldsymbol{\rho \sigma \tau \upsilon \phi \chi \psi\omega}

\boldsymbol{\Epsilon\epsilon\varepsilon}
\boldsymbol{\Theta\theta\vartheta}
\boldsymbol{\Kappa\kappa\varkappa}
\boldsymbol{\Pi\pi\varpi}
\boldsymbol{\Rho\rho\varrho}
\boldsymbol{\Sigma\sigma\varsigma}
\boldsymbol{\Phi\phi\varphi}

\boldsymbol{\digamma}

### 黑板粗体

\mathbb{ABCDEFGHIJKLMNOPQRSTUVWXYZ}

1. 花括号中只有使用大写拉丁字母才能正常显示，使用小写字母或数字会得到其他符号。

### 正粗体

\mathbf{012…abc…ABC…}

\boldsymbol{012…abc…ABC…\alpha \beta\gamma…}

### 斜体数字

\mathit{0123456789}

### 罗马体

\mathrm{012…abc…ABC…}或\mbox{}或\operatorname{}

### 哥特体

\mathfrak{012…abc…ABC…}

### 手写体

\mathcal{ABC…}

### 希伯来字母

\aleph\beth\gimel\daleth

## 括号

（Floor function）
\left \lfloor \frac{a}{b} \right \rfloor

（Ceiling function)
\left \lceil \frac{c}{d} \right \rceil

\left \Uparrow \frac{a}{b} \right \Downarrow
\left \updownarrow \frac{a}{b} \right\Updownarrow

\left \langle \psi \right |

• 可以使用 \big, \Big, \bigg, \Bigg 控制括号的大小，比如代码
\Bigg ( \bigg [ \Big \{\big\langle \left | \| \frac{a}{b} \| \right | \big \rangle\Big\}\bigg ] \Bigg )

显示︰

## 空格

2个quad空格 \alpha\qquad\beta
quad空格 \alpha\quad\beta

## 颜色

• 字体颜色︰{\color{色调}表达式}
• 背景颜色︰{\pagecolor{色调}表达式}

• {\color{Blue}x^2}+{\color{Brown}2x} -{\color{OliveGreen}1}
• x_{\color{Maroon}1,2}=\frac{-b\pm\sqrt{{\color{Maroon}b^2-4ac}}}{2a}

## 小型数学公式

• 并不好看。

• 好看些了。

   \begin{smallmatrix}...\end{smallmatrix}


   {{Smallmath|f=  f(x)=5+\frac{1}{5} }}


## 强制使用PNG

这并不是我们想要的。

以PNG图输出。

|TeX各版本概述及基本约定，特殊字符|
+---------------------------------+

tex提供300多条基本排版命令

plain tex：在tex基础上新定义600多条复合命令
AMS-TEX：美国数学会开发（amsmath宏包）排版的数学公式
LATEX：L.Lamport（1985）编写，适合排版普通文章和书籍
LATEX2e：可加载amsmath宏包，目前最流行的TEX宏包

CCT：科学院张林波
TY（天元）：华师大肖刚、陈志杰教授开发
CJK：德国W.Lemberg开发，处理中日韩三国文字。

ChinaTEX:内容涵盖MiKTeX系统及中文支持、常用外围软件、TeX\LaTeX文档和模板选萃等

TeX中的长度
mm毫米
cm厘米
in英寸＝2.54cm＝72.27pt
pt点
em大写字母M的宽度
ex小写字母x的高度

\documentclass[11pt]{article}%11pt字体，普通文章
%导言区，全局命令
\usepackage{CJK}%使用CJK宏包
\begin{document}%主环境
\begin{CJK}{GBK}{song}%汉字必须放入CJK环境
%其它字体:song,kai,fs,hei,li,you
%CJK的两种环境CJK和CJK*
%GBK是采用的字符集：GB，GBK，Bg5，Gbt
Hi,This is my first \LaTeX file

\end{CJK}
\ent{document}

CJK和CJK*环境之间的切换
\CJKspace和\CJKnospace

\CJKtilde 重新定义～的长度

"独立公式", 用$$或$进入"显示数学环境"(以后我们统称数学环 境), 用或$退出, 在正文, 它是独占一行的, 它排出的字体要 稍微比文中公式要大些; 第三种是带公式标号的数学公式: "方程", 这个以后我们详细再讲. 数学环境是自动根据当前字号来调整公式 中字的大小的. 数学环境中, 缺省字体是数学斜体(显示出来和意大利体一样), 因此如果要用到正文, 需要改变字体或使用盒子, 如我们要输出 "y=x, if x>0,"这一句, 其中的"y=0"和"x>0"应该是数学公式(虽 然不进入数学环境也能输), 而"if"却属于正文内容, 因此不应该 用数学斜体显示, 而应该用"y=x, {\rm if} x>0"或用盒子: "y=x, \mbox{if } x>0", 但这里还要注意的是, 数学环境中忽 略一切空格(当然分隔命令的空格除外), 因此第一种输入可以发现, if和x>0之间没有我们想要的空格, 而第二种输入方式由于在\mbox{} 中if后加了一个空格, 所以if和x>0有一个空格, 这正是我们想要 的. 因此标准的输入方法一般用后者. 而且, 前者的方法对汉字 就不适用, 因为汉字不能出现在数学环境中, 而用盒子框起来就 没问题了. 这里再多说一句的是, 数学环境中不能使用字号命令, 如果需要改变字号, 应该在数学环境之外改变, 而数学环境自动 根据当前字号调整字的大小. 上面已经提到数学环境中忽略任何空白字符, 那么, 怎么在 公式中输出空格呢? 当然我们可以用以前讲过的\quad或hskip来 空出横向空格等, 但是如果我们要输出诸如"fdx"(这里dx是微分), 这样在f和dx中要有一个小空格, 用\quad显然太大了, hskip根本 不知道该空出多大距离. 在公式中, 常用的几个调整距离的命令 是"\,"(小距离), "\:"(中距离), "\;"(大距离), "\!"(负距离), 象刚才说的例子, 我们一般就用f\,dx即可. 当然, 一般情况我 们很少改变数学公式中的距离. 下面我们看看如何在数学公式中输入上下标, 在讲TeX保留字 时大家就有印象了, 上下标分别用"^"和"_"来表示, 如x_0^2, TeX中, 先输上标后输下标和先写下标再写上标是没有区别的, 它 都会一样地自动调整字符大小和位置. 如果上下标的字符不止一 个, 那就用"{}"括起来, 如x^{1+y^{i+1}}. 如果有人突然想在 字符的左边输上下标呢? 简单的方法是在前面加一个空的{}, 如 {}_{17}^{35}Cl, 哦, 可能不是用的数学斜体, 那只好再用盒 子了: {}_{17}^{35}\mbox{Cl}. 有时我们可能直接用1/2来表示分数就可以了, 但是如果分子 分母我们想要排在分数线的上下, 那就要用"\frac{分子}{分母}" 来表示了, 如$$\frac{1}{x+1}$$. 但是大家如果再把这个例子用 单括起做文中公式, 或者$$y=\frac{y-\frac{1}{x+1}}{y+1}$$, 就会发现, 这个分式显示出来觉得比正常字号小, 要解决这个问 题就要用\displaystyle的命令了. 你可以试试$$y=\frac{y-\displaystyle\frac{1}{x+1}}{y+1}, 可以了吧. 当然, 如果你在\documentstyle中使用了vatola选项(需要TeX系 统在指定目录有vatola.sty文件), 那么, 你可以直接用\dfrac来 代替\frac来达到同样的效果, 而避免使用冗长的\displaystyle 的输入.(格式如\documentstyle[vatola]{article}; 而如果用 \documentclass{article}, 则用\usepackage{vatola}); 或二 者均可以在第一句后面加上\input vatola.sty来包含这个包) 有人可能又要问了, 如果我输出的分数, 分子还是有分子分 母的分数, 分母也是一个不简单的分数, 那层层迭迭的分数线, 不够美观, 我还是喜欢"分子/分母"的格式, 那怎么把这条斜分数 线画得长一些呢? 这里就要用到所谓的"定界符", 也就是成对出 现的类似于括号的符号了, 如(), [], {}(用\{和\}输入), <>(用 \langle和\rangle输入), /, 用\backslash), |, ||(用\|); 以及另一些没法直接显示的符号, 大家自己用TeX产生出来看看: \lfloor, \rfloor; \lceil, \rceil; \uparrow; \Uparrow; \downarrow; \Downarrow; \updownarrow; \Updownarrow. 这些 "括号"通常嵌套并和分数等数学公式一起使用, 如 y=1+(\frac{(x+1)^2}{x^2}), 当然大家会看到这外层括号太 小, 不美观, 因此TeX提供了几个改变大小的命令, 从小到大依次 是\big, \Big, \bigg, \Bigg, 如(, \big(, \Big(, \bigg(, \Bigg(, 其它定界符类似使用. 另外, TeX还提供了自动调整括 号大小的命令, 那就是在定界符前加\left和\right, 需要注意的 是\left和\right一定要成对出现, 如果只用单个, 那么另一边就 要用"\left."或"\right."补上. 知道这些后, 我们就可以来输入 长的"/"号了: \frac{1}{x+1} \left/ \frac{y+1}{x^2} \right. 或\left. \frac{1}{x+1} \right/ \frac{y+1}{x^2}, 这两个 是不是比\frac{\displaystyle\frac{1}{x+1}}{\displaystyle \frac{y+1}{x^2}}更令人满意啊? 下面, 我们来讲讲根式的输入: "\sqrt[开方次数]{表达式}", 其中[开方次数]可选参数, 如果没有则是开平方, 如 \sqrt[3]{x+y}+\sqrt{2}. 而导数, 也就是在字母右上方加一撇或两撇的输出, 我们常用 f^{\prime}和f^{\prime\prime}来表示, 或更简单地, 用 f'和f''来表示. +----------------------------------------------------+ | 本节内容: 数学符号: 希腊字母, 二元运算符, 关系运 | | 算符, 箭头, 其它符号, 可用于一般环境的符号, 花体 | | 符号及函数名, 可变大小的符号, \limits和\nolimits, | | 省略号, 符号的上下堆积, 上下标的分行 | +----------------------------------------------------+ TeX提供了许多"控制符号"来得到诸如希腊字母, 关系运算符, 箭头等无法用ASCII键盘直接输入的符号. 小写希腊字母, 如\alpha, \beta, \gamma, \pi; 大写希腊字母, 如\Gamma, \Pi, \Omega; 二元运算符, 如\times(乘号), \div(除号), \pm(加减号), \circ (小圆圈), \cdot(点)等; 关系运算符, 如\leq(小于等于), \geq (大于等于), \subset(包含于), \supset(包含), \in(属于); 否 定关系运算符, 如\not=(不等于), \not<(不小于), \not\supset (不包含); 箭头, \leftarrow, \rightarrow, \longrightarrow, \uparrow, \mapto等; 其它符号, \nabla(Nabla算子), \angle(角), \infty(无穷), \forall(任意), \exists(存在), \prime(导数的 撇). 这些符号比较多, 这里就不细细一一列出, 大家去找一本TeX 书, 复印那两三页下来就可以了. 本节讲的绝大多数符号都只能在数学环境中使用, 有几个符号 也可以使用在一般环境中, 那是\S(节号), \P(段落号), \dag(剑 号), \ddag(双剑号). 有时数学公式中的函数名, 算子等要用特别的花体来排版, TeX提供了\cal字体, 如"function \cal F". 而对于专有名词, 如一些函数名, 如sin x中的sin, 就要用罗马体, 而不是一般的 数学斜体排印, 我们可以用{\rm sin}x, 也可以用TeX提供的 直接在函数名前加"\"的方法: \sin x, 一般的函数均有定义, 如\sin, \cos, \lim, \log等. 数学环境中, 还有一类特殊的符号, 那就是可变大小符号, 如 求和号, 积分号, 它们会因为符号后面的内容的大小自动调整自己 的大小: \sum, \prod, \coprod, \int, \oint, \bigcap, \bigcup, \bigsqcup, \bigvee, \bigwedge, \bigodot, \bigotimes, \bigoplus, \biguplus. 需要注意的是, 有些可变符号的上下标位 置在文中公式和独立公式中是不一样的, 大家看个例子: \sum_{i=1}^n x_i=\int_0^\infty f(x)dx 和\sum_{i=1}^n x_i=\int_0^\infty f(x)dx, 这里大家看到, \sum在文中公式中, 上下标是写在右上角和右下角的, 在独立公式 中, 是写在上面和下面的; 而\int在二者中都写在右上角和右下角 的. 我们可以强制用\limits和\nolimits来控制上下标的出现位置: 使用方法如\sum\limits_{i=1}^b x_i就强制将上下标写在上边 和下边, 而\nolimits使其出现在右边角上. 这里多说一句, 如果 你想把一般的操作符也想用\limits或\nolimits用, 只须把你的操 作符用\mathop{}括起来即可. 大家如果编排矩阵或行列式, 就会遇到特别的省略号, 大家试 试\cdots, \vdots, \ddots就是三个方向的省略号. 而\ldots是比 \cdots低一点的省略号, 它和其它三个不同的是也可以用在正文环 境中. \ldots一般用于x_1, x_2, \ldots, x_n这样的时候. 排版数学公式可能还会遇到需要把两个符号上下组合在一起, 最常见的就是上划线和下划线, 大家试试\overline{a+b+c+d} 和\underline{a+b+c+d}, 这里需要说明的是, \overline只能 用于数学环境, 而\underline也可以用在正文中. 类似地还有用花 括号括在式子上下的: \overbrace{a+\underbrace{b+c}+d}, 而如果上下括号上面或下面还有符号, 可以用上下标来表示, 如: \overbrace{a+\underbrace{b+c}_{1.0}+d}^{2.0}. LaTeX还 可以将任意两个符号重叠在一起: \stackrel{上层符号}{下层符号}, 如\vec{x} \stackrel{\rm def}{=}(x_1, x_2, \ldots, x_n), 这里需要说明的是\stackrel中第一个参数的符号以较小字号输出的. 而{上面 \atop 下面}可以把两行内容按相同字号排出, 类似 地就出现了{n \choose m}则是带括号的n个取m个的写法. 符号可以上下堆积, 可是我们如果要在\sum的下面写诸如i<9 和j<9这两行下标, 用\sum_{i<9 \\ j<9} i/j是不行的. 我们 怎么实现这样的分行呢? 我们可以用\atop来堆积, 如 \sum_{\scriptstyle i<3 \atop \scriptstyle j<3} i/j 这里之所以加了\scriptstyle是因为仅用\atop命令会把上下的字 体再缩小一号. 另外, 我们也可以用另外的方法: 前面我们在讲 \frac时提到\dfrac这个符号需要使用包vatola.sty, 这里, 如果 使用了vatola.sty这个包, 我们可以在下标中用{\Sb 第一行 \\ 第二行 \endSb}, 在上标中用{\Sp 第一行 \\ 第二行 \endSp}来 表示多行下标或上标. +----------------------------------------------------+ | 本节内容: 数组array, 方程(标号)equation, 多行方程 | | eqnarray, \aligned(vatola.sty), 标号的交叉引用 | | 参考文献的使用(more) | +----------------------------------------------------+ 数组环境通常用来编排矩阵, 行列式等对齐的数学公式的. 它的格式是: \begin{array}{列对齐} 第一行 \\ 第二行 \\ ... 最后一行 \end{array} 这里, 列对齐的格式是{c1c2c3...cn}, 每个ci为一个字母, 说明 第i列的对齐方式, 可以是c(居中), l(左对齐), r(右对齐). 而 每一行的各列用&符号隔开, 行末是\\. 因此n列的数组, {列对齐} 应该有n项, 每行应该有n-1个&, 一个\\(最后行通常不用\. 数 组中某一列可以不存在, 但是&号不能少. 数组外常常使用可变大 小的定界符\left和\right, 大家看个例子:\left(
\begin{array}{clr}
a+b+c & a+b+c & a+b+c \\
a+b & a+b & a+b \\
a & a & a
\end{array}
\right) $$这里要作些说明, 数组中某两行的距离可以用"\\[距离]"来 改变, 也可以用"\renewcommand\arraystretch{实数}"来整体修 改数组的垂直距离(缺省为1.0), 而参数\arraycolsep=...是修改 其列间距. 使用数组时, 经常容易出错的是: array必须出现在数 学环境中, &的个数和\\的个数一定要正确, 如果使用可变大小的 括号, 一定要注意\left和\right必须成对出现, 即使只排印半对 括号. 一般的和$$环境, 不能给公式或方程编号, 因此, 就用到了

\begin{eqnarray}
......
\end{eqnarray}

\begin{eqnarray*}
...
\end{eqnarray*}

\begin{eqnarray}
y&=&1+2+3+4+5+6+7+8+9+10 \\
&=&55
\end{eqnarray}

大家可能会注意到, 不论是array还是eqnarray, 每个&符号

设定菜单Preferences->Translaters
Translate to another launguage:
选latex2.09 and later
uncheck 'include translater name' and 'include mathtype data'