\dagger (amsbook) не печатает после вызова ibycus4

Question

В результате следующего действия не будет напечатан только один крестик.

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

Я пробовал \let\dagger\undefined(и несколько вариаций) после, \usepackage{ibycus4}но это блокировало компиляцию. Спасибо за ваше внимание.

Answer 1

Вы можете восстановить исходное определение:

\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

Ну, вы не просто теряете \dagger. Вы полностью сдаетесь с каждым символом UTF-8 и по сути можете использовать только ASCII.

Но документ ваш…

Используйте \textdaggerи \textdaggerdbl, вместо этого: теги текстовые. Вы также можете сохранить математическое определение \daggerперед загрузкой ibycus4(я не вижу смысла загружать его в настоящее время).

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