文献あり

【Mathlog tips】便利なコマンド

449

MathlogではMathJaxMathJax_homeを採用しており、様々なコマンドが使用可能です。以下のextension listにおいて有効化されているものが使えます：
【The TeX/LaTeX Extension List】
https://docs.mathjax.org/en/latest/input/tex/extensions/index.html

本記事ではMathlogで使えるコマンドの中で個人的に便利だと思うものを列挙します（※物理に偏ってるかもしれません）。上記のページの各extensionにCTAN(Comprehensive TEX Archive Network)へのリンクがあり、そこに詳しい説明がありますのでご参照ください。

$\verb|physics|$ package

【CTANへのリンク】
https://www.ctan.org/pkg/physics

Basics

\begin{align} &\hspace{0.5cm} \verb| \det | & &\to\ \det \\ &\hspace{0.5cm} \verb| \tr | & &\to\ \tr \\ &\hspace{0.5cm} \verb| \Tr | & &\to\ \Tr \\ &\hspace{0.5cm} \verb| \order{x}| & &\to\ \order{x}\\ &\hspace{0.5cm} \verb| \comm{A}{B},\comm{\int f(x)dx}{g(y)} | & &\to\ \comm{A}{B},\comm{\int f(x)dx}{g(y)} && \textrm{commutator} \\ &\hspace{0.5cm} \verb| \acomm{A}{B}| & &\to\ \acomm{A}{B} && \textrm{anti-commutator}\\ &\hspace{0.5cm} \verb| \pb{A}{B} | & &\to\ \pb{A}{B} && \textrm{Poisson bracket}\\ \end{align}
※\comm等は自動的に高さを調節してくれます

ベクトル解析関連

\begin{align} &\hspace{0.5cm} \verb| \vb{a},\vb*{a}| & &\to\ \vb{a},\vb*{a}\\ &\hspace{0.5cm} \verb| \va{a},\va*{a} | & &\to\ \va{a},\va*{a} \\ &\hspace{0.5cm} \verb| \vu{a},\vu*{a} | & &\to\ \vu{a},\vu*{a} \\ &\hspace{0.5cm} \verb| \grad{\psi} | & &\to\ \grad{\psi} \\ &\hspace{0.5cm} \verb| \div{\vb{a}} | & &\to\ \div{\vb{a}} \\ &\hspace{0.5cm} \verb| \curl{\vb{a}} | & &\to\ \curl{\vb{a}}\\ &\hspace{0.5cm} \verb| \laplacian | & &\to\ \laplacian \\ \end{align}

（偏、汎関数）微分

\begin{align} &\hspace{0.5cm} \verb| \dv{x} | & &\to\ \dv{x} \\ &\hspace{0.5cm} \verb| \dv[n]{f}{x} | & &\to\ \dv[n]{f}{x} \\ &\hspace{0.5cm} \verb| \dv*{f}{x} | & &\to\ \dv*{f}{x} \\ &\hspace{0.5cm} \verb| \pdv{x} | & &\to\ \pdv{x} \\ &\hspace{0.5cm} \verb| \pdv[n]{f}{x} | & &\to\ \pdv[n]{f}{x} \\ &\hspace{0.5cm} \verb| \pdv{f}{x}{y} | & &\to\ \pdv{f}{x}{y} \\ &\hspace{0.5cm} \verb| \fdv{g} | & &\to\ \fdv{g} \\ &\hspace{0.5cm} \verb| \fdv{F}{g} | & &\to\ \fdv{F}{g} \\ \end{align}

ブラケット記法 (& 集合)

\begin{align} &\hspace{0.5cm} \verb| \ket{a},\ket{\sum} | & &\to\ \ket{a},\ket{\sum} \\ &\hspace{0.5cm} \verb| \bra{a} | & &\to\ \bra{a} \\ &\hspace{0.5cm} \verb| \bra{b}\ket{a} | & &\to\ \bra{b}\ket{a} \\ &\hspace{0.5cm} \verb| \braket{a}{b} | & &\to\ \braket{a}{b} \\ &\hspace{0.5cm} \verb| \dyad{a}{b} | & &\to\ \dyad{a}{b} \\ &\hspace{0.5cm} \verb| \ketbra{a}{b} | & &\to\ \ketbra{a}{b} \\ &\hspace{0.5cm} \verb| \set{a,b,c} | & &\to\ \set{a,b,c} \\ \end{align}
※ ブラケットは高さが自動的に調節されます。

カッコで囲む

\begin{align} &\hspace{0.5cm} \verb| \qty(abc)| & &\to \ \qty(abc)\\ &\hspace{0.5cm} \verb| \qty(\int_0^1dx \qty(1-x))| & &\to \ \qty(\int_0^1dx \qty(1-x))\\ &\hspace{0.5cm} \verb| \qty[abc]| & &\to \ \qty[abc]\\ &\hspace{0.5cm} \verb| \qty[\sum_{i=1}^n]| & &\to \ \qty[\sum_{i=1}^n]\\ \end{align}
※カッコの大きさが自動的に調節されます。

行列を簡潔に記述する

\begin{align} &\hspace{0.5cm} \verb| \mqty{a & b \\ c & d} | & &\to\ \mqty{a & b \\ c & d} \\ &\hspace{0.5cm} \verb| \mqty(a & b \\ c & d) | & &\to\ \mqty(a & b \\ c & d) \\ &\hspace{0.5cm} \verb| \mqty[a & b \\ c & d] | & &\to\ \mqty[a & b \\ c & d] \\ &\hspace{0.5cm} \verb| \mqty(\dmat{1,2,3}) | & &\to\ \mqty(\dmat{1,2,3}) \\ &\hspace{0.5cm} \verb| \mqty(\dmat{1, 2&3 \\ 4&5}) | & &\to\ \mqty(\dmat{1,2&3\\ 4&5}) \\ &\hspace{0.5cm} \verb| \mdet{a & b \\ c & d} | & &\to\ \mdet{a & b \\ c & d} \\ \end{align}

$\verb|centernot|$ package

【CTANへのリンク】
https://www.ctan.org/pkg/centernot

スラッシュ（\not）を文字に重ねる

\begin{align} &\hspace{0.5cm} \verb| \centernot{p},\centernot{q} | & &\to\ \centernot{p},\centernot{q} \\ &\hspace{0.5cm} \verb| \centernot{P} | & &\to\ \centernot{P} \\ &\hspace{0.5cm} \verb| \centernot{D} | & &\to\ \centernot{D} \\ &\hspace{0.5cm} \verb| \centernot{\longrightarrow} | & &\to\ \centernot{\longrightarrow} \\ \end{align}
※いわゆるFeynmanのスラッシュ記法はMathlogではこの方法で表示するのが最適かと思います

文字を重ねる

\begin{align} &\hspace{0.5cm} \verb| \centerOver{ABC}{=} | & &\to\ \centerOver{ABC}{=} \\ \end{align}

$\verb|bussproofs|$ package

【CTANへのリンク】
https://www.ctan.org/pkg/bussproofs

証明木

      \begin{prooftree} 
\AxiomC{A} 
\UnaryInfC{B} 
\AxiomC{C} 
\BinaryInfC{D} 
\AxiomC{E} \AxiomC{F} \BinaryInfC{G} \UnaryInfC{H} \BinaryInfC{J} 
\end{prooftree}

\begin{prooftree} \AxiomC{A} \UnaryInfC{B} \AxiomC{C} \BinaryInfC{D} \AxiomC{E} \AxiomC{F} \BinaryInfC{G} \UnaryInfC{H} \BinaryInfC{J} \end{prooftree}

$\verb|amscd|$ package

【パッケージの説明】
https://www.jmilne.org/not/Mamscd.pdf

圏論の図式

      \begin{align}
\begin{CD} A @>>> B @>{\text{very long label}}>> C \\ 
@VVV @VVV @VVV \\ 
D @>>> E @>{\phantom{\text{very long label}}}>> F \end{CD}
\end{align}

\begin{align} \begin{CD} A @>>> B @>{\text{very long label}}>> C \\ @VVV @VVV @VVV \\ D @>>> E @>{\phantom{\text{very long label}}}>> F \end{CD} \end{align}

$\verb|mhchem|$ package

【パッケージの説明】
https://mhchem.github.io/MathJax-mhchem/

\begin{align} &\hspace{0.5cm} \verb| \ce{CO2 + C -> 2 CO} | & &\to \ \ce{CO2 + C -> 2 CO} \\ &\hspace{0.5cm} \verb| \ce{^{227}_{90}Th+} | & & \to \ \ce{^{227}_{90}Th+}\\ &\hspace{0.5cm} \verb| \ce{A <--> B} | & & \to \ \ce{A <--> B} \\ &\hspace{0.5cm} \verb| \ce{A ->[H2O] B} | & & \to \ \ce{A ->[H2O] B} \end{align}

${}$
${}$

おしまい。${}_\blacksquare$