マクロツイーター

はてダから移行した記事の表示が崩れてますが、そのうちに直せればいいのに(えっ)

例の proof 環境のアレ

パッケージ。

\documentclass[a4paper]{article}
\usepackage{bxproofstyle}
\newtheorem{theorem}{Theorem}
% \newprooflikestyle でスタイルを定義. 引数の意味は最後(9盤目)の
% ものがないことを除いて \newtheoremstyle と同じ.
\newprooflikestyle{bustard}
{7.5pt}{9pt}{\sffamily}{8em}{\ahofont}{!}{\newline}
\newcommand*\ahofont{\usefont{OT1}{cmfr}{m}{it}} % 単なるマクロ
% \prooflikestyle{<スタイル>}: 証明型環境のスタイルを指定.
\prooflikestyle{bustard}
% \newprooflike{<環境名>}{<ラベル>}: 証明型環境を定義.
\newprooflike{proofwww}{Proof}
% なお, 既存命令/環境の上書きは「proof」のみ可.
\begin{document}

\begin{theorem}
God exists.
\end{theorem}
% Euler による証明
\begin{proofwww}
Sir,
\[ \frac{a + b^n}{n} = x. \]

Repondez!
\end{proofwww}

\end{document}

発展問題

このパッケージをデバッグしなさい。バグはまだ見つかってないけど。