☰

O pacote mathabx resulta em um pequeno quadrado como QED

tag-icon • tag-icon amssymb mathabx
O pacote mathabx resulta em um pequeno quadrado como QED

Se eu usar amssymb, o quadrado no final da prova teria apenas tamanho normal. Mas quando uso mathabx, o quadrado fica minúsculo. Existe alguma maneira de usar mathabx e ainda obter o quadrado normal?insira a descrição da imagem aqui

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

Obrigado!

Responder1

Você pode usar

\let\oldsquare\square

antescarregando mathabxe depois use \oldsquareem sua definição:

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

insira a descrição da imagem aqui

O proofambiente do amsthmpacote não usa \square, mas \openboxcomo marca final, então você pode definir este comando como amsthm.styfaz e usá-lo para sua definição:

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

insira a descrição da imagem aqui

Eu sugiro que você, entretanto, use o amsthmpacote e seu ambiente integrado proofpara compor suas provas. Isto lhe dará, entre outras coisas, espaçamento adequado antes e depois das provas, posicionamento adequado da marca final e nenhum recuo para a primeira linha.

No exemplo a seguir usei os dois ambientes para comparação (suprimi o sublinhado, pois não é uma boa prática tipográfica, mas você pode adicioná-lo quando realmente precisar):

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

insira a descrição da imagem aqui

mathabxtambém oferece \boxvoid, mas produz um quadrado um pouco maior que o \openboxcomando normal.

Tem certeza que deseja usar mathabx? Eu pergunto porque o pacote redefine muitos símbolos matemáticos (como você já experimentou). Se você estiver interessado apenas em um símbolo específico de mathabx, entãoImportando um único símbolo de uma fonte diferentemostra como importar o símbolo sem carregar o pacote.

informação relacionada