\dagger (amsbook) no se imprime después de la invocación de ibycus4

Question

Lo siguiente hace que la daga única no se imprima.

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

Lo intenté \let\dagger\undefined(y varias variaciones) después, \usepackage{ibycus4}pero eso bloqueó la compilación. Gracias por tu consideración.

Answer 1

Puede restaurar la definición 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

Bueno, no se pierde simplemente \dagger. Estás renunciando por completo a cada carácter UTF-8 y básicamente solo puedes usar ASCII.

Pero el documento es tuyo...

Utilice \textdaggery \textdaggerdblen su lugar: las etiquetas son textuales. También puede guardar la definición matemática de \daggerantes de cargar ibycus4(hoy en día no veo ninguna razón para cargarla).

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