以下表格列出了数学模式中的所有常用符号。
要使用表3.11–3.156。必须在导言区先载入amssymb宏包而且系统中安装 了AMS 数学字体。如果系统中没有安装AMS 宏包和字体，请查阅macros/
latex/required/amslatex。更全面的列表可于info/symbols/comprehensive 处找到。
表3.1– 数学模式重音符号。
ˆ
a \hat{a} ˇa \check{a} a˜ \tilde{a}
`
a \grave{a} a˙ \dot{a} a¨ \ddot{a}
¯
a \bar{a} ~a \vec{a} Ab \widehat{A}
´
a \acute{a} ˘a \breve{a} Ae \widetilde{A}
表3.2– 希腊字母。
α \alpha θ \theta o o υ \upsilon
β \beta ϑ \vartheta π \pi φ \phi
γ \gamma ι \iota ϖ \varpi ϕ \varphi
δ \delta κ \kappa ρ \rho χ \chi
ɛ \epsilon λ \lambda ϱ \varrho ψ \psi
ε \varepsilon µ \mu σ \sigma ω \omega
ζ \zeta ν \nu ς \varsigma
η \eta ξ \xi τ \tau
Γ \Gamma Λ \Lambda Σ \Sigma Ψ \Psi
∆ \Delta Ξ \Xi Υ \Upsilon Ω \Omega
Θ \Theta Π \Pi Φ \Phi
6这些表格源自于David Carlisle的symbols.tex,而后在Josef Tkadlec的建议下作了较大的改 动。
3.10数学符号表 49
表3.3–二元关系。
你可以在下列符号的相应命令前加上\not命令，而得到其否定形式。
< < > > = =
≤ \leq or\le ≥ \geq or\ge ≡ \equiv
\ll \gg .
= \doteq
≺ \prec \succ ∼ \sim
\preceq \succeq ' \simeq
⊂ \subset ⊃ \supset ≈ \approx
⊆ \subseteq ⊇ \supseteq ∼= \cong
@ \sqsubset a A \sqsupset a 1 \Join a v \sqsubseteq w \sqsupseteq ⊲⊳ \bowtie
∈ \in 3 \ni ,\owns ∝ \propto
` \vdash a \dashv |= \models
| \mid k \parallel ⊥ \perp
⌣ \smile ⌢ \frown \asymp
: : ∈/ \notin 6= \neq or\ne
a使用latexsym宏包才能得到这个符号
表3.4 –二元运算符。
+ + −
-± \pm ∓ \mp ⊳ \triangleleft
· \cdot ÷ \div ⊲ \triangleright
× \times \ \setminus ⋆ \star
∪ \cup ∩ \cap ∗ \ast
t \sqcup u \sqcap ◦ \circ
∨ \vee ,\lor ∧ \wedge ,\land • \bullet
⊕ \oplus \ominus \diamond
\odot \oslash ] \uplus
⊗ \otimes \bigcirc q \amalg
4 \bigtriangleup 5 \bigtriangledown † \dagger
\lhd a \rhd a ‡ \ddagger
\unlhd a \unrhd a o \wr
表3.5–“大”运算符。
∑ \sum ∪
\bigcup ∨
\bigvee
∏ \prod ∩
\bigcap ∧
\bigwedge
∐ \coprod ⊔
\bigsqcup ⊎
\biguplus
∫ \int ∮
\oint ⊙
\bigodot
⊕ \bigoplus ⊗
\bigotimes
表3.6– 箭头。
← \leftarrow or\gets ←− \longleftarrow
→ \rightarrow or \to −→ \longrightarrow
↔ \leftrightarrow ←→ \longleftrightarrow
⇐ \Leftarrow ⇐= \Longleftarrow
⇒ \Rightarrow =⇒ \Longrightarrow
⇔ \Leftrightarrow ⇐⇒ \Longleftrightarrow
7→ \mapsto 7−→ \longmapsto
←↪ \hookleftarrow ↩→ \hookrightarrow
↼ \leftharpoonup ⇀ \rightharpoonup
↽ \leftharpoondown ⇁ \rightharpoondown \rightleftharpoons ⇐⇒ \iff (bigger spaces)
↑ \uparrow ↓ \downarrow
l \updownarrow ⇑ \Uparrow
⇓ \Downarrow m \Updownarrow
% \nearrow & \searrow
. \swarrow - \nwarrow
; \leadsto a
a使用latexsym宏包才能得到这个符号
表3.7–定界符。
( ( ) ) ↑ \uparrow
[ [ or\lbrack ] ] or \rbrack ↓ \downarrow { \{ or\lbrace } \} or\rbrace l \updownarrow h \langle i \rangle | | or\vert
b \lfloor c \rfloor d \lceil
/ / \ \backslash m \Updownarrow
⇑ \Uparrow ⇓ \Downarrow k \| or \Vert e \rceil
表3.8– 大定界符。
\lgroup
\rgroup
\lmoustache
\arrowvert ww \Arrowvert \bracevert
\rmoustache
3.10数学符号表 51
表3.9–其他符号。
. . . \dots · · · \cdots ... \vdots . .. \ddots
~ \hbar ı \imath ȷ \jmath ℓ \ell
< \Re = \Im ℵ \aleph ℘ \wp
∀ \forall ∃ \exists f \mho a ∂ \partial
0 ’ 0 \prime ∅ \emptyset ∞ \infty
∇ \nabla 4 \triangle 2 \Box a 3 \Diamond a
⊥ \bot > \top ∠ \angle √
\surd
♦ \diamondsuit ♥ \heartsuit ♣ \clubsuit ♠ \spadesuit
¬ \neg or \lnot ♭ \flat ♮ \natural ♯ \sharp
a使用latexsym宏包才能得到这个符号
表3.10– 非数学符号。
也可以在文本模式中使用这些符号。
† \dag § \S © \copyright ® \textregistered
‡ \ddag ¶ \P £ \pounds % \%
表3.11– AMS定界符。
p \ulcorner q \urcorner x \llcorner y \lrcorner
| \lvert | \rvert k \lVert k \rVert
表3.12–AMS希腊和希伯来字母。
z \digamma κ \varkappa i \beth ג \gimel k \daleth
表3.13–AMS 二元关系。
l \lessdot m \gtrdot + \doteqdot
6 \leqslant > \geqslant : \risingdotseq 0 \eqslantless 1 \eqslantgtr ; \fallingdotseq
5 \leqq = \geqq P \eqcirc
≪ \lll or\llless ≫ \ggg $ \circeq
. \lesssim & \gtrsim , \triangleq
/ \lessapprox ' \gtrapprox l \bumpeq
≶ \lessgtr ≷ \gtrless m \Bumpeq
Q \lesseqgtr R \gtreqless ∼ \thicksim
S \lesseqqgtr T \gtreqqless ≈ \thickapprox 4 \preccurlyeq < \succcurlyeq u \approxeq 2 \curlyeqprec 3 \curlyeqsucc v \backsim
- \precsim % \succsim w \backsimeq
w \precapprox v \succapprox \vDash
j \subseteqq k \supseteqq \Vdash
q \shortparallel c \Supset \Vvdash
J \blacktriangleleft A \sqsupset \backepsilon B \vartriangleright ∵ \because ∝ \varpropto I \blacktriangleright b \Subset G \between D \trianglerighteq a \smallfrown t \pitchfork C \vartriangleleft p \shortmid ` \smallsmile E \trianglelefteq ∴ \therefore @ \sqsubset
表3.14–AMS箭头。
L99 \dashleftarrow 99K \dashrightarrow
⇔ \leftleftarrows ⇒ \rightrightarrows \leftrightarrows \rightleftarrows W \Lleftarrow V \Rrightarrow \twoheadleftarrow \twoheadrightarrow \leftarrowtail \rightarrowtail \leftrightharpoons \rightleftharpoons
\Lsh \Rsh
" \looparrowleft # \looparrowright x \curvearrowleft y \curvearrowright
\circlearrowleft \circlearrowright
( \multimap \upuparrows
\downdownarrows \upharpoonleft \upharpoonright \downharpoonright
\rightsquigarrow ! \leftrightsquigarrow
3.10数学符号表 53
表3.15–AMS二元否定关系符和箭头。
≮ \nless ≯ \ngtr & \varsubsetneqq
\lneq \gneq ' \varsupsetneqq
\nleq \ngeq " \nsubseteqq
\nleqslant \ngeqslant # \nsupseteqq
\lneqq \gneqq - \nmid
\lvertneqq \gvertneqq ∦ \nparallel
\nleqq \ngeqq . \nshortmid
\lnsim \gnsim / \nshortparallel
\lnapprox \gnapprox \nsim
⊀ \nprec \nsucc \ncong
\npreceq \nsucceq 0 \nvdash
\precneqq \succneqq 2 \nvDash
\precnsim \succnsim 1 \nVdash
\precnapprox \succnapprox 3 \nVDash
( \subsetneq ) \supsetneq 6 \ntriangleleft
\varsubsetneq ! \varsupsetneq 7 \ntriangleright
* \nsubseteq + \nsupseteq 5 \ntrianglelefteq
$ \subsetneqq % \supsetneqq 4 \ntrianglerighteq 8 \nleftarrow 9 \nrightarrow = \nleftrightarrow : \nLeftarrow ; \nRightarrow < \nLeftrightarrow
表3.16– AMS二元运算符。
u \dotplus \centerdot
n \ltimes o \rtimes > \divideontimes d \doublecup e \doublecap r \smallsetminus Y \veebar Z \barwedge [ \doublebarwedge \boxplus \boxminus \circleddash \boxtimes \boxdot } \circledcirc
| \intercal ~ \circledast i \rightthreetimes g \curlyvee f \curlywedge h \leftthreetimes
表3.17–AMS 其他符号。
~ \hbar } \hslash k \Bbbk
\square \blacksquare s \circledS
M \vartriangle N \blacktriangle { \complement O \triangledown H \blacktriangledown a \Game
♦ \lozenge \blacklozenge F \bigstar
∠ \angle ] \measuredangle
\diagup \diagdown 8 \backprime
@ \nexists ` \Finv ∅ \varnothing
ð \eth ^ \sphericalangle f \mho
表3.18–数学字母。
实例 命令 所需宏包
ABCDEabcde1234 \mathrm{ABCDE abcde 1234}
ABCDEabcde1234 \mathit{ABCDE abcde 1234}
ABCDEabcde1234 \mathnormal{ABCDE abcde 1234}
ABCDE \mathcal{ABCDE abcde 1234}
A BC DE \mathscr{ABCDE abcde 1234} mathrsfs
ABCDEabcde1234 \mathfrak{ABCDE abcde 1234} amsfontsoramssymb ABCDEa1234 \mathbb{ABCDE abcde 1234} amsfontsoramssymb
Chapter 4
专业功能
当你整理一个大型文档时，LATEX的一些专门功能，例如自动生成索引、管理参 考文献等等，会给你以很大的帮助。详细的关于LATEX专业功能以及增强功能的 描述可以在LATEX Manual [1]和The LATEX Companion[3]找到。
4.1 插入 EPS 图形
LATEX通过figure和table环境提供了处理图像图形等浮动体的基本工具。
有几种办法可以通过使用基本LATEX命令或者LATEX扩展宏包来产生实际的 图形(graphics)，第5章中将会介绍其中的几种方法。如果需要这方面的详细信 息，请参阅The LATEX Companion[3]和LATEX Manual[1]。
在文档中使用图形，一个相对容易的办法就是使用专门的软件包1生成图形 文件，然后将最终的图形文件插入到文档中。LATEX的宏包提供了许多方法来完 成这个工作。在这个手册里，我们只讨论Encapsulated PostScript(EPS)图 形文件的使用，因为它比较简单而且被广泛地使用。为了使用EPS格式的图片，
你必须有一个PostScript打印机2来输出结果。
由D. P. Carlisle制作的graphicx 宏包提供了一套很好的插图命令。它是一
个叫作“graphics”的宏包集中的一部分3。
假设你使用的系统安装了PostScript打印机和graphicx宏包，那么你就可 以通过下面的步骤把一幅图片加入你的文档中：
1. 用你的图形软件输出EPS格式的文件4。
2. 在源文件的导言中加上下面的命令来载入graphicx宏包。
\usepackage[driver]{graphicx}
这里driver是你使用的“dvi到postscript”的转换程序。最常用的是dvips。
因为TEX中没有规定插入图形的标准，所以driver 的名字是必需的。知道
1例如XFig、CorelDraw!、Freehand、Gnuplot……
2另 外 一 个 可 以 用 来 输 出PostScript 的 工 具 是GhostScript 程 序，它 可 以 从support/
ghostscript得到。Windows和OS/2用户可能更喜欢用GSview。
3macros/latex/required/graphics
4如果你的软件不能输出EPS格式的文件，你可以尝试安装一个PostScript打印机驱动程序
（例如Apple LaserWriter），然后将你的图形通过这个驱动程序打印到文件。运气好的话，这个文 件会是EPS格式的。注意一个EPS图片不能包含超过一页的内容。一些打印机驱动程序可以明确 地指定输出EPS格式。
3. 使用命令
\includegraphics[key=value, . . .]{file}
来把file 加入你的文档。可选的参数是一系列由逗号隔开的keys 和相应 的(values)。keys 可以用来改变插图的宽度、高度以及旋转。表4.1列出了 最重要的关键词。
表4.1–graphicx宏包使用的关键词。
width 把图形调整到指定的宽度
height 把图形调整到指定的高度
angle 逆时针旋转图形
scale 缩放图形
下面的示例代码可以帮助我们理解整个过程：
\begin{figure}
\centering
\includegraphics[angle=90,
width=0.5\textwidth]{test}
\caption{This is a test.}
\end{figure}
这段代码把文件test.eps中的图形插入到文档里。首先图形被旋转90度，然后 进行缩放使得图形的宽度等于标准段落宽度的0.5倍。因为没有指定图形的高 度，图形的高宽变化的比例是1.0，也就是保持原来的高宽比。高度和宽度参数 也可以指定为绝对长度单位。详细的信息可以在第92页的表6.5中找到。如果你 想知道更多这方面的知识，请阅读文献[9]和[13]。