Пакет mathabx приводит к крошечному квадрату как QED

Question

Если я использую 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}

Спасибо!

Answer 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, тоИмпорт одного символа из другого шрифтапоказывает, как импортировать символ без загрузки пакета.