El paquete mathabx da como resultado un cuadrado pequeño como QED

Question

Si uso amssymb, el cuadrado al final de la prueba tendría un tamaño normal. Pero cuando uso mathabx, el cuadrado se vuelve pequeño. ¿Hay alguna manera de que pueda utilizar Mathabx y aún obtener el cuadrado normal?

\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}

¡Gracias!

Answer 1

Puedes usar

\let\oldsquare\square

antescargando mathabxy luego use \oldsquareen su definición:

\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}

El proofentorno del amsthmpaquete no usa \square, sino \openboxcomo marca final, por lo que puedes definir este comando como amsthm.stylo hace y usarlo para tu definición:

\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}

Sin embargo, le sugiero que utilice el amsthmpaquete y su entorno integrado proofpara componer sus pruebas. Esto le brindará, entre otras cosas, un espacio adecuado antes y después de las pruebas, una ubicación adecuada de la marca final y sin sangría para la primera línea.

En el siguiente ejemplo utilicé ambos entornos para comparar (suprimí el subrayado, ya que no es una buena práctica tipográfica, pero puedes agregarlo si realmente lo necesitas):

\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}

mathabxtambién ofrece \boxvoid, pero esto produce un cuadrado que es un poco más grande que el \openboxcomando normal.

¿Estás seguro de que quieres utilizar mathabx? Te lo pregunto porque el paquete redefine muchos símbolos matemáticos (como ya lo has experimentado). Si está interesado solo en un símbolo particular de mathabx, entoncesImportar un solo símbolo de una fuente diferentele muestra cómo importar el símbolo sin cargar el paquete.