☰

パッケージ mathabx は QED として小さな正方形になります

tag-icon • tag-icon amssymb mathabx
パッケージ mathabx は QED として小さな正方形になります

amssymb を使用すると、証明の最後の四角形は通常のサイズになります。しかし、mathabx を使用すると、四角形が小さくなります。mathabx を使用しても通常の四角形を取得する方法はありますか?ここに画像の説明を入力してください

\documentclass[11pt]{article}

\usepackage{amssymb}
\usepackage{mathabx}

\newenvironment{prf}{\underline{\textbf{Proof:}}}{\hfill $\square$}


\begin{document}

\begin{prf}
This is my proof using mathabx.
\end{prf}

\end{document}

ありがとう！

答え1

使用できます

\let\oldsquare\square

前にロードして定義でmathabx使用します:\oldsquare

\documentclass[11pt]{article}
\usepackage{amssymb}
\let\oldsquare\square
\usepackage{mathabx}

\newenvironment{prf}{\underline{\textbf{Proof:}}}{\hfill$\oldsquare$}

\begin{document}

\begin{prf}
This is my proof using mathabx.
\end{prf}

\end{document}

ここに画像の説明を入力してください

proofパッケージの環境でははamsthm使用されず\square、\openbox終了マークとして使用されるため、このコマンドを のように定義しamsthm.sty、定義に使用できます。

\documentclass[11pt]{article}
\usepackage{amssymb}
\usepackage{mathabx}

\newcommand{\openbox}{\leavevmode
  \hbox to.77778em{%
  \hfil\vrule
  \vbox to.675em{\hrule width.6em\vfil\hrule}%
  \vrule\hfil}}
\newenvironment{prf}{\underline{\textbf{Proof:}}}{\hfill$\openbox$}

\begin{document}

\begin{prf}
This is my proof using mathabx.
\end{prf}

\end{document}

ここに画像の説明を入力してください

amsthmただし、パッケージとその組み込み環境を使用して校正をタイプセットすることをお勧めしますproof。これにより、校正の前後のスペースが適切に確保され、終了マークが適切に配置され、最初の行がインデントされないようになります。

次の例では、比較のために両方の環境を使用しました (下線は印刷上好ましくないため省略しましたが、本当に必要な場合は追加することができます)。

\documentclass[11pt]{article}
\usepackage{amssymb}
\usepackage{mathabx}
\usepackage{amsthm}

\newenvironment{prf}{\underline{\textbf{Proof:}}}{\hfill$\openbox$}
\renewcommand\proofname{\normalfont\bfseries Proof:}

\begin{document}

\begin{prf}
This is my proof using mathabx.
\end{prf}

\begin{proof}
This is my proof using mathabx amnd amsthm.
\end{proof}

\end{document}

ここに画像の説明を入力してください

mathabxも提供しています\boxvoidが、これは通常のコマンドよりも少し大きい正方形を生成します\openbox。

本当に を使いたいですかmathabx？このパッケージは多くの数学記号を再定義します（すでに経験されているように）。もしあなたが特定の記号だけに興味があるなら、mathabx、別のフォントから単一のシンボルをインポートするパッケージをロードせずにシンボルをインポートする方法を示します。

関連情報