6 数式マクロ

括弧類

$$(x),[x],\{x\},\langle x\rangle,\lfloor x\rfloor,\lceil x\rceil,\{x\},\lvert x\rvert,\lVert x\rVert,$$

$$[a,b],[a,b),(a,b],(a,b),\langle u,v\rangle,(x_{i})_{i\in I},$$

$$\left(\frac{1}{2}\right),\big{\lvert}x\big{\rvert},\left\lvert\frac{v}{2}\right\rvert,\left\lVert\frac{v}{2}\right\rVert,$$

$$\{x\mid x>0\},\quad\left\{\frac{1}{n}\mathrel{}\middle|\mathrel{}n\in\mathbb{N}_{>0}\right\},\quad\big{\{}x\mathrel{}\big{|}\mathrel{}x>0\big{\}},$$

$$f|_{A},\quad\frac{\partial g}{\partial x}|_{U},\quad f|_{A},$$

論理記号

$$\text{P}\Longleftrightarrow\text{Q}\quad\text{P}\Longrightarrow\text{Q}\quad\text{P}\Longleftarrow\text{Q}$$

集合・写像など

$$\mathrm{id},\quad f\colon X\to Y,\quad\blank,\quad A^{\mathrm{T}},$$

$$\mathbb{N},\mathbb{N}_{>0},\overline{\mathbb{N}},\overline{\mathbb{N}}_{>0},\mathbb{Z},\mathbb{Z}_{>0},\mathbb{Z}_{<0},\mathbb{Z}_{\geq 0},\mathbb{Z}_{\leq 0},\overline{\mathbb{Z}},\overline{\mathbb{Z}}_{>0},\overline{\mathbb{Z}}_{<0},\overline{\mathbb{Z}}_{\geq 0},\overline{\mathbb{Z}}_{\leq 0},$$

$$\mathbb{Q},\mathbb{Q}_{>0},\mathbb{Q}_{<0},\mathbb{Q}_{\geq 0},\mathbb{Q}_{\leq 0},\overline{\mathbb{Q}},\overline{\mathbb{Q}}_{>0},\overline{\mathbb{Q}}_{<0},\overline{\mathbb{Q}}_{\geq 0},\overline{\mathbb{Q}}_{\leq 0},$$

$$\mathbb{R},\mathbb{R}_{>0},\mathbb{R}_{<0},\mathbb{R}_{\geq 0},\mathbb{R}_{\leq 0},\overline{\mathbb{R}},\overline{\mathbb{R}}_{>0},\overline{\mathbb{R}}_{<0},\overline{\mathbb{R}}_{\geq 0},\overline{\mathbb{R}}_{\leq 0},$$

$$\mathbb{C},\mathbb{H},\mathbb{K},$$

$\log$型関数

$$\operatorname{Aut}(G),\operatorname{Coim}f,\operatorname{Det}A,\operatorname{Coker}f,\operatorname*{colim}F,\operatorname{End}V,\operatorname{Hom}(A,B),\operatorname{Im}f,\operatorname{Im}z,\operatorname{Ker}f,\operatorname{span}(S),\operatorname{rank}A,\operatorname{Re}z,\operatorname{sgn}\sigma,\operatorname{Tr}M,\operatorname{tr}M,$$

微分作用素

$$d/{dx},\frac{d^{2}}{{dx}^{2}},dy/{dx},\frac{d^{2}y}{{dx}^{2}},$$

$$\partial/{\partial x},\frac{\partial^{2}}{{\partial x}^{2}},\partial u/{\partial x},\frac{\partial^{2}u}{{\partial x}^{2}},$$