\dagger (amsbook) wird nach dem Aufruf von ibycus4 nicht gedruckt

Question

Das Folgende führt dazu, dass nur der einzelne Dolch nicht gedruckt werden kann.

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

Ich habe es \let\dagger\undefineddanach versucht (und mehrere Varianten davon), \usepackage{ibycus4}aber das hat die Kompilierung blockiert. Vielen Dank für Ihre Überlegung.

Answer 1

Sie können die ursprüngliche Definition wiederherstellen:

\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

Nun, Sie verlieren nicht nur \dagger. Sie geben alle UTF-8-Zeichen vollständig auf und dürfen im Wesentlichen nur ASCII verwenden.

Aber das Dokument gehört Ihnen …

Verwenden Sie stattdessen \textdaggerund \textdaggerdbl: Tags sind Text. Sie können die mathematische Definition von auch \daggervor dem Laden speichern ibycus4(ich sehe heutzutage keinen Grund, sie zu laden).

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