\dagger (amsbook) não imprime após invocação de ibycus4

Question

O seguinte faz com que a adaga única não seja impressa.

\documentclass{amsbook} 
\usepackage{ibycus4}

\newtheorem{theorem}{Theorem}
\begin{document}
\begin{theorem}
\begin{align*}\tag{$\dagger$}\label{formula}
7 + 5 = 12
\end{align*}
\begin{align*}\tag{$\ddagger$}\label{formula1}
7 + 5 = 13
\end{align*}
\ref{formula} and \ref{formula1} are both false.
\end{theorem}
\end{document}

Eu tentei \let\dagger\undefined(e várias variações disso) depois, \usepackage{ibycus4}mas bloqueei a compilação. Obrigado pela sua consideração.

Answer 1

Você pode restaurar a definição original:

\documentclass{amsbook} 
\usepackage{ibycus4}
\def\dagger{\mathchar"2279}

\newtheorem{theorem}{Theorem}
\begin{document}
\begin{theorem}
\begin{align*}\tag{$\dagger$}\label{formula}
7 + 5 = 12
\end{align*}
\begin{align*}\tag{$\ddagger$}\label{formula1}
7 + 5 = 13
\end{align*}
\ref{formula} and \ref{formula1} are both false.
\end{theorem}
\end{document}

Answer 2

Bem, você não apenas perde \dagger. Você está desistindo completamente de todos os caracteres UTF-8 e basicamente só pode usar ASCII.

Mas o documento é seu…

Use \textdaggere \textdaggerdbl, em vez disso: as tags são textuais. Você também pode salvar a definição matemática de \daggerantes de carregar ibycus4(hoje em dia não vejo razão para carregá-la).

\documentclass{amsbook}

\NewCommandCopy{\latexdagger}{\dagger}
\usepackage{ibycus4}
\NewCommandCopy{\sdagger}{\dagger}
\RenewCommandCopy{\dagger}{\latexdagger}

\newtheorem{theorem}{Theorem}

\begin{document}

\begin{theorem}
\begin{align*}\tag{\textdagger}\label{formula}
7 + 5 = 12+\dagger
\end{align*}
\begin{align*}\tag{\textdaggerdbl}\label{formula1}
7 + 5 = 13
\end{align*}
\eqref{formula} and \eqref{formula1} are both false.
\end{theorem}

\end{document}