LaTeXで独自に作図した図形を記号として使う #LaTeX

この記事はTeX ＆ LaTeX Advent Calendar 2022の19日目の記事です．（遅くなってすみません．）
18日目は CareleSmith9 さん，20日目は MusicDump さんです．
予告にはexpl3でなにかやると書いていましたが，色々あって時間が取れず，やってるうちにクリスマスも過ぎてしまいそうなので，この間使った tikzsymbols の紹介をしたいと思います．

ソースコードと出力のpdfは GitHub で公開しています．

ユーザー定義の記号の作成

数学的な文書を書くとき，既存の記号の組み合わせでは表せないような新しい記号を作りたいということ，ありますよね．

\kernを使って直接作図したりすると TeX 言語が始まってしまいしんどいので TikZ を使います．
tikzpicture 環境で書いた図形を記号として使うための，パラメータ調整やオプションの引数のやり取りを簡略化できる tikzsymbolsパッケージというものがあります．

\usepackage{tikzsymbols}
%
\tikzsymbolsdefinesymbol{<シンボル名>}{<引数形式>}{
    \begin{tikzpicture}[/tikzsymbolsstyle,<TikZオプション>]
        % 描画
    \end{tikzpicture}
}

とすると \<シンボル名> のコマンドが作成できます（定義するときの引数には「\」を入れないので注意）．
引数はxparse¹に似ているが簡略化された形式で，

m：必須引数（{}で与える）
B{<default>}：オプション引数．は引数を与えなかったときのデフォルト値
S：スケーリング引数（オプション）．記号の拡大縮小のファクター

を0個以上並べて表記します．詳細は公式マニュアルの5章を参照．

四角形記号

例として四角形記号を考えてみます．三角形ABCを ⊿ABC ²と書くように，四角形ABCDを ◻ABCD のように書きたいですが，四角形は正方形とは限らないので「◻」という正方形の記号を使うのはあまり実情を表した記号とはいえません．
正方形でも平行四辺形でも凧形でもない，一般の四角形を表すためにもっとぐちゃっとした形の四角形記号を導入してみましょう．
（※なお，このような記号は「ceo」パッケージに収録されていますが，別途定義されたフォントを読み込む方式のため，作るのも使うのも少々面倒なのでおいておくことにします．）

%%% preamble
\tikzsymbolsdefinesymbol{symbunmarkedsquare}{ S }{
    \begin{tikzpicture}[/tikzsymbolsstyle,x=1ex,y=1ex,scale=#1,line width=0.1ex]
        \draw(0,0)--(3,0)--(2.5,2)--(0.5,2.5)--cycle;
    \end{tikzpicture}
}
\newcommand{\unmarkedsquare}{\symbunmarkedsquare[0.65]}

%%% document
\show\triangle
\show\unmarkedsquare
\begin{gather*}
    \triangle{\text{ABC}}\\
    \square{\text{ABCD}}\\
    \unmarkedsquare{\text{ABCD}}
\end{gather*}

図形を描画しているのは TikZ 環境の \draw(0,0)--(3,0)--(2.5,2)--(0.5,2.5)--cycle; の部分です．
XY座標の点(0,0)，(3,0)，(2.5,2)，(0.5,2.5)を順に繋いで始点に戻る線を引くという意味になります．
ここをいじれば色々と変えられます．

他の記号と比べてちょっと大きかったので S 引数を入れてサイズを変更するといった調整も簡単にできます．

プレースホルダー記号

プレースホルダー記号を作ってみます．
数学でいうプレースホルダーというのは

損失関数は

$$ J(\mathbf{w})=\|\mathbf{X}\mathbf{w} - \mathbf{y}\|^2 +\frac{\lambda}{2}\|\mathbf{w}\|^2$$

である．ここで $\|\cdot\|$ はL2ノルムである．

といったときの「$\cdot$」のように関数の引数が入る場所を空けておく記号です．
具体的な変数を書いてしまうとその変数を入れたときの値と関数そのものの区別がつかないので，明示的に関数そのものを指したいときなどにこのような表記をすることがあります．
一般的に中黒かビュレットあたりが使われますが，積の記号などにも使うので若干紛らわしく，知らない人には伝わりにくかったりします³．

もっとここに何か入るんだよ感を出すために，PowerPoint の数式入力 UI を参考にしてみます．PowerPoint では数式の入力中，括弧のように中に記号を入れる際に下図のように点線のプレースホルダーが作られます．

TikZ では簡単に点線を書けるのでこれで作図してみます．

% 点線□
\tikzsymbolsdefinesymbol{dotsquare}{
    S % scale
    B{1} % line width factor
    B{0ex} % descend depth
}{%
    \begin{tikzpicture}[/tikzsymbolsstyle,x=1ex,y=1ex,scale=#1,baseline=#3,line width=0.12ex*#2,transform shape,densely dotted]
        \draw(0,0)--(0,1)--(1,1)--(1,0)--cycle;
    \end{tikzpicture}%
}
% 点線◯
\tikzsymbolsdefinesymbol{dotcircle}{
    S % scale
    B{1} % line width factor
    B{0ex} % descend depth
}{%
    \begin{tikzpicture}[/tikzsymbolsstyle,x=1ex,y=1ex,scale=#1,baseline=#3,line width=0.12ex*#2,transform shape,densely dotted]
        \draw(0,0.5)circle(0.5);
    \end{tikzpicture}%
}
\newcommand{\placeholder}{\mathbin{\dotsquare[1.5][][0.15ex]}}
\newcommand{\dottedSquare}{\mathbin{\dotsquare[1.5][][-0.1ex]}}
\newcommand{\dottedCirc}{\mathbin{\dotcircle[0.8][][-0.2ex]}}
\newcommand{\dottedBigCirc}{\mathbin{\dotcircle[2][][0.45ex]}}

%%% domcument
{\tiny $ \norm{\placeholder} $ }
{\footnotesize $ \norm{\placeholder} $ }
{\normalsize $ \norm{\placeholder} $ }
{\Large $ \norm{\placeholder} $ }
{\huge $ \norm{\placeholder} $ }

\begin{gather*}
    \norm{A \circ B}\\
    \norm{A \dottedCirc B}\\
    \norm{A \bigcirc B}\\
    \norm{A \dottedBigCirc B}\\
    \norm{A \mathbin{\square}B}\\
    \norm{A \dottedSquare B}
\end{gather*}

フォントサイズ変更に追従します

\circ, \bigcirc, \square に合わせた点線図形も作ってみました

記号の位置を上下にずらす場合はbaselineオプションを指定します（下向きが正）⁴⁵．

なお，現状では数式中で添字になったときなどのサイズ変更に対応していないので $\int$ の方に乗せたりしても大きいままです．
\mathchoiceなどで別途処理する必要があります．

使い勝手の良いコマンドを作るためのシステム．今回のアドベントカレンダーでも解説されています（\NewDocumentCommand さえあればいい。〜TeX 言語に手を出してしまう前に〜 - thth さん）． ↩
ここの三角形も正三角形ではなく一般の三角形にしておきたいですね． ↩
ちょくちょくこれはなんですか？という質問を見かけます． ↩
括弧の中心あたりとsquareの上下位置って結構違うんですね． ↩
ところでbaselineによる高さ変更やフォントサイズ変更への対応は TikZ 側の機能です．xparseの機能も標準に入りましたし，オプション等々を自分で指定するなら tikzsymbols パッケージなしで TikZ だけ使っても同じことはできます． ↩