CS Code
前言
写$\LaTeX$是现代数学和计算机相关人员必须掌握的一项技能。它可以将UTF-8格式的文字整齐规范地显示出来，还能显示数学公式，可以说现代印刷和电子显示数学公式离不开$\LaTeX$。
这本书讲的很好，本文也主要围绕这个展开。
数学公式
虽然书本最后的 Things You Shouldn’t Use 里面写到不用＄来写数学公式，但因为这个SkyBlog的Markdown渲染器貌似只支持＄符号而不是 \() 和 \[] 的写法，所以就统一用＄来表示了。
数学模式
数学模式和正常的模式有两个主要的不同区别：
- 字符之间的空格/换行是会省略掉的
Markdown
1 | $123xyz$ is the same as $ 1 2 |
显示效果
$123xyz$ is the same as $ 1 2
3 x y z$
- 所有的文字都会被视为数学变量
Markdown
1 | Hello $World!$ |
显示效果
Hello $World!$
当然，如果想在$\LaTeX$里面正常显示文字也是可以的
Markdown
1 | Hello $\text{World!}$ |
显示效果
Hello $\text{World!}$
基础运算符号
常用的加减乘除等号我们可以很清楚的用$+-*/=$来表示
这里再给出叉乘、点乘、除号、不等号的表示
Markdown
1 | $(4 \times 6) \div 3 = 8$ |
显示效果
$(4 \times 6) \div 3 = 8$
$5 \cdot 9 \not= 40$
不等式
Markdown
1 | $1 < 2$ |
显示效果
$1 < 2$
$1 \leq 2$ vs $1 \leqslant 2$
$2 > 1$
$2 \geq 1$ vs $2 \geqslant 1$
次方，注意这里第二个次方要把(a^2)用{}括起来，表示一个group，不然的话两个2会等高，并不理想
Markdown
1 | $a^2$ |
显示效果
$a^2$
${(a^2)}^2$
根号
Markdown
1 | $\sqrt{a}$ |
显示效果
$\sqrt{a}$
$\sqrt[n]{a}$
分式
Markdown
1 | $\frac{114514}{1919810}$ |
显示效果
$\frac{114514}{1919810}$
$\frac{a+b}{\frac{c}{d+e}}$
逻辑与集合论
逻辑运算符与、或、非、条件
Markdown
1 | $p \land q \iff \lnot (p \implies \lnot q)$ |
显示效果
$p \land q \iff \lnot (p \implies \lnot q)$
$p \lor q \impliedby p \text{ or } q$
任意、存在
Markdown
1 | $\forall_{q} P(q) \not= 0$ |
显示效果
$\forall_{q} P(q) \not= 0$
$\exists_{q} P(q) = 0$
集合、属于、省略号，一般来说$\LaTeX$的大括号表示只需要一个反斜杠\就够了，但是这里默认的Markdown渲染器marked需要两个反斜杠\\
Markdown
1 | $\\{x \in X: \exists_n x^n = 1\\}$ |
显示效果
$\{x \in X: \exists_n x^n = 1\}$
$\{1, 2, 3, \ldots, 100\}$
集合运算符空集、包含于、并集、交集
Markdown
1 | $\emptyset$ |
显示效果
$\emptyset$
$A \subset B \subseteq C$
$A \supset B \supseteq C$
$A \subsetneq B \supsetneq C$
$(A \cap B) \cup C$
希腊字母
小写用全小写的英语单词，大写用首字母大写的英语单词
Markdown
1 | $\alpha A$ |
显示效果
$\alpha A$
$\beta B$
$\gamma \Gamma$
$\delta \Delta$
$\epsilon E$
$\zeta Z$
$\eta H$
$\theta \Theta$
$\iota I$
$\kappa K$
$\lambda \Lambda$
$\mu M$
$\nu N$
$\xi \Xi$
$o O$
$\pi \Pi$
$\rho P$
$\sigma \Sigma$
$\tau T$
$\upsilon \Upsilon$
$\phi \Phi$
$\chi X$
$\psi \Psi$
$\omega \Omega$
变体
Markdown
1 | $\varepsilon E$ |
显示效果
$\varepsilon E$
$\vartheta \Theta$
$\varpi \Pi$
$\varsigma \Sigma$
$\varphi \Phi$