CS 常用LaTex符号

CS 常用LaTex符号

集合论

属于：$\in$ \in $\notin$ \notin

子集：$\subseteq$ \subseteq $⊈$ \not\subseteq

真子集：$\subset$ \subset $\not\subset$ \not\subset

并集：$\cup$ \cup

交集：$\cap$ \cap

空集：$\varnothing$ \varnothing

对称差：$\oplus$ \oplus

笛卡尔积：$\times$ \times

阿列夫零：${\aleph }_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

空串：$\epsilon$ \varepsilon

转移函数：$\delta$ \delta

开始符号：$⊢$ \vdash

结束符号：$⊣$ \dashv

井号：$♯$ \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 $\phi$ \varphi

宇普西龙：$\epsilon$ \varepsilon