CS 常用LaTex符号
集合论
属于: ∈ \in ∈ \in ∉ \notin ∈/ \notin
子集: ⊆ \subseteq ⊆ \subseteq ⊈ \not\subseteq ⊆ \not\subseteq
真子集: ⊂ \subset ⊂ \subset ⊄ \not\subset ⊂ \not\subset
并集: ∪ \cup ∪ \cup
交集: ∩ \cap ∩ \cap
空集: ∅ \varnothing ∅ \varnothing
对称差: ⊕ \oplus ⊕ \oplus
笛卡尔积: × \times × \times
阿列夫零: ℵ 0 \aleph_0 ℵ0 $\aleph_0
抽象代数
下确界: ∧ \wedge ∧ \wedge
上确界: ∨ \vee ∨ \vee
小于等于: ≼ \preccurlyeq ≼ \preccurlyeq
大于等于: ≽ \succcurlyeq ≽ $\succcurlyeq
小于: ≺ \prec ≺ \prec
大于: ≻ \succ ≻ \succ
函数符合: ∘ \circ ∘ \circ
数理逻辑
合取: ∧ \wedge ∧ \wedge
析取: ∨ \vee ∨ \vee
蕴含: → \to → \to 或 \rightarrow
等价: ↔ \leftrightarrow ↔ \leftrightarrow
取反: ¬ \neg ¬ \neg
形式语言与自动机
空字符: └ ┘ \llcorner\!\lrcorner └┘ \llcorner\!\lrcorner
空串: ε \varepsilon ε \varepsilon
转移函数: δ \delta δ \delta
开始符号: ⊢ \vdash ⊢ \vdash
结束符号: ⊣ \dashv ⊣ \dashv
井号: ♯ \sharp ♯ \sharp
派生: ⇒ \Rightarrow ⇒ \Rightarrow
希腊字母
阿尔法: α \alpha α \alpha
贝塔: β \beta β \beta
伽马: Γ \Gamma Γ \Gamma γ \gamma γ \gamma
西格玛: Σ \Sigma Σ \Sigma σ \sigma σ \sigma
德尔塔: Δ \Delta Δ \Delta δ \delta δ \delta
拉姆达: Λ \Lambda Λ \Lambda λ \lambda λ \lambda
斐: Φ \Phi Φ \Phi φ \varphi φ \varphi
宇普西龙: ε \varepsilon ε \varepsilon