Week1.tex

\documentclass[autodetect-engine,dvipdfmx]{jsarticle}

\usepackage{newpxtext,tcolorbox}
\usepackage[deluxe]{otf}

\title{「証明終わり」の記号}
\author{東大TeX愛好会}
\date{Week1}

\begin{document}

\maketitle

\begin{abstract}

本当に\LaTeX を使い始めたばかりの人からよく聞かれる質問の1つに「\LaTeX って証明終わりの『あの』縦長い四角出せないの？」というのがあります。確かに（筆者の見た限り）典型的な「\LaTeX の記号一覧」にはそのような記号は載っていません。しかし，だからといって「\LaTeX がその記号を出力できない」というのはもちろん間違いです。そうです，なければ自分で作ればいいのです。

ということで作ってみたのが上記のマクロです。使い方は至って簡単で，証明が終わったところで\verb@\qed@を書き込むだけです。\verb@amsmath.sty@が必要ですが，別行立ての数式中でも使用できるようにしてあります（インラインの数式モード中では使用しないでください）。

さて，これは実際のところかなり単純なマクロではありますが，今回は初回ということもあるので，以下では少し丁寧にその」しくみ」を説明していこうと思います。では，今回の目標を明確にしておきましょう。

\begin{enumerate}
\item 「縦長の四角」（以下，白ハルモス記号）を出力する
\item 紙面の右端に出力する
\item 別行立て数式環境でも使用可能にする
\end{enumerate}

\end{abstract}

\part{白ハルモス記号の作成}

\LaTeX の命令に「囲み枠」を出力するための\verb@\fbox@という命令がありますので，今回はこれを使用することにします。この「囲み枠」の中に，しばしば「支柱」として用いられる幅0ptの\verb@\rule@（罫線）を入れ込みます。

\verb@\rule@命令は

\begin{tcolorbox}

\begin{verbatim}
\rule[〈持ち上げ量〉]{〈幅〉}{〈高さ〉}
\end{verbatim}

\end{tcolorbox}

という書式を持っているので，これをうまく利用して白ハルモス記号の形を調節します（幅は0ptのままにしておく）。

\begin{tcolorbox}

\begin{verbatim}
\fbox{\rule[2pt]{0pt}{1ex}}
\end{verbatim}

\end{tcolorbox}

上記の数字は筆者の環境（感覚）で適当な形になるように恣意的に定めたものなので，各自数字を調節して気に入る形にすると良いと思います。

また，白ハルモス記号の大きさや線の太さは\verb@\fbox@命令が内部で使用する寸法レジスタの値を変更することで調節できます。その寸法レジスタというのは具体的には\verb@\fboxsep@と\verb@\fboxrule@で，それぞれ四角の大きさと線の太さを制御できます。\LaTeX 式にこれらの値を変更するためには，以下のようにします。

\begin{tcolorbox}

\begin{verbatim}
\setlength{\fboxsep}{2pt}
\setlength{\fboxrule}{0.3pt}
\end{verbatim}

\end{tcolorbox}

これらの値も恣意的に定めたものなので，好みに合わせて変えてみてください。

\begin{description}
\item[注意]これらの値を普通に変更すると，\verb@\qed@命令以外の場面で\verb@\fbox@を使用するときもそれらの値が適用されてしまいます。これを避ける場合には，寸法レジスタの変更箇所を局所化する必要があります（\verb@\qed@の定義を\verb@{}@または\verb@\begingroup\endgroup@で囲っておけば良い）。
\end{description}

さて，あとはこの記号を右端に出力するようにすれば，テキスト中で使用可能な\verb@\qed@命令が完成しますが，これはとても簡単です。\verb@\hfill@命令という「横方向に可能な限り大きな空白を空ける」命令があるのでこれを利用します。これまでに作成した白ハルモス記号と合わせて以下のように\verb@\qed@命令を定義します。

\begin{tcolorbox}

\begin{verbatim}
\newcommand{\qed}{%
\begingroup
\setlength{\fboxsep}{2pt}\setlength{\fboxrule}{0.3pt}
\hfill\fbox{\rule[2pt]{0pt}{1ex}}
\endgroup}
\end{verbatim}

\end{tcolorbox}

これで，ひとまず使用可能な\verb@\qed@命令を作ることができました。しかし，\verb@\hfill@命令は数式モード中では効力を発揮しないので，\verb@\qed@命令も数式モード中に使用することができません（エラーにはなりませんが，右端ではなく直前の文字のすぐ後ろに出力されてしまいます）。

\part{数式モードへの対応}

証明が別行立ての数式で終わるということ自体，数学系の出版業界的に褒められたことなのかどうか不明なのですが，少なくとも一般にはそうした需要が少なからずあるだろうということで，これを実装することにしました。ただし，（技術的な問題以前に）レイアウト上の問題で「最後の数式には式番号がつかない」ことを前提としています。

既に述べたように数式モード中では（通常は）\verb@\hfill@命令等を使用することはできないので，手動で数式番号をつけるために用意されている\verb@\eqno@命令を利用することにします。これを用いれば，別行立ての数式中で使用可能な\verb@\mathqed@命令を作成することが可能になります（amsmath.styが読み込まれていないとエラーになります）。

\begin{tcolorbox}

\begin{verbatim}
\newcommand{\mathqed}{%
\eqno{%
\setlength{\fboxsep}{2pt}\setlength{\fboxrule}{0.3pt}
\fbox{\rule[2pt]{0pt}{1ex}}}}
\end{verbatim}

\end{tcolorbox}

しかし，\verb@\qed@命令と\verb@\mathqed@命令を使い分けるのは少々面倒であり，またそうする理由もないので条件分岐を用いてこれを\verb@\qed@に統合します。すなわち，\TeX のプリミティブ命令に\verb@\ifmmode@（if math modeに由来）というのがあり，

\begin{tcolorbox}

\begin{verbatim}
\ifmmode
（数式モード中の場合の処理）
\else
（数式モード中でない場合の処理）
\fi
\end{verbatim}

\end{tcolorbox}

という条件分岐を行うことができるので，これを利用して，冒頭に掲載した\verb@\qed@命令が完成します（\verb@\ifmmode@を使用する前には\verb@\relax@を入れるようにしておくと，予期せぬエラーを防げるようです）。

\begin{tcolorbox}

\begin{verbatim}
\newcommand{\qed}{%
\relax\ifmmode
\eqno{%
\setlength{\fboxsep}{2pt}\setlength{\fboxrule}{0.3pt}
\fbox{\rule[2pt]{0pt}{1ex}}}
\else
\begingroup
\setlength{\fboxsep}{2pt}\setlength{\fboxrule}{0.3pt}
\hfill\fbox{\rule[2pt]{0pt}{1ex}}
\endgroup
\fi}
\end{verbatim}

\end{tcolorbox}

\part{終わりに}

今回は初回ということで，比較的単純なマクロでかつある程度実用性のあるものをということでこうした題材を選んでみました。とはいえ，単純な中にもいくつかの仕掛けをしておいたので，ユーザーの工夫次第で様々な応用が可能だと思います。

例えば，今回は「白ハルモス記号」（これは筆者の造語です）で証明終わりを表現しましたが，もとはといえば証明終わりは黒塗りのハルモス記号を用いるのが伝統的で，その白抜き版の白ハルモス記号はあくまでその代用記号です。ご覧の通り，ハルモス記号にはUnicodeの割り当てU+220Eがありますが，環境依存文字なので必ずしもすべての環境で出力できるわけではありません。上の紹介文中に登場した命令だけを用いても，このUnicode文字を用いずにハルモス記号を出力するマクロを作成することができます。お時間のある方，実装してみてはいかがでしょうか。

\end{document}