Conflit entre amscd et unicode-math

Question

Après le passage au package unicode-math, le package amscd pour les diagrammes commutatifs ne fonctionne plus. Je ne reçois pas de messages d'erreur, mais les symboles comme @ et <sont affichés dans la sortie.

Je joins un exemple presque minimal, qui fonctionnait auparavant.

\documentclass[12pt]{article}
\usepackage[T1]{fontenc}
\usepackage{amsmath}
\usepackage{unicode-math}
\usepackage{amscd}
\newcommand\xbf[1]{#1}
\newcommand\fg[1]{#1}
\newcommand\obf[1]{#1}
\newcommand\R{{R}}
\begin{document}
Diagram:
  \begin{equation*}
  \begin{CD}
    \obf{\omega} \in \R^{3\times 3} @<\xbf{Ad}_{\xbf{B}}<< \obf{\Omega} \in \R^{3\times 3} \\
    @A\hat{\ }AA @AA\hat{\ }A\\
    \fg{\omega}=\xbf{B}\fg{\Omega} \in\R^3 @<\xbf{B}<< \fg{\Omega}\in \R^3
  \end{CD}
  \end{equation*}
\end{document}

Answer 1

Le amscdpackage effectue

\mathcode`@="8000

afin de rendre les @mathématiques actives. Il s'exécute également \CDatlors du démarrage d'un CDenvironnement, où \CDatest défini par

\gdef\CDat{\let @=\Iat}

dans un contexte où @est actif. Il n'est pas important de savoir ce que \Iatc'est, juste qu'il est essentiel que les @mathématiques soient actives et aient un sens \Iatlors du traitement de l' CDenvironnement.

Malheureusement, le unicode-mathnormalise les codes mathématiques à \begin{document}, de sorte que le réglage du code mathématique de @est oublié.

Vous pouvez en fait améliorer la définition de l' CDenvironnement pour devenir indépendant des conditions environnantes (ce qui aurait dû être fait également par le amscdpackage, mais il y a des raisons historiques pour que ce ne soit pas le cas).

\documentclass[12pt]{article}
\usepackage{amsmath}
\usepackage{amscd}
\usepackage{unicode-math}

\begingroup\lccode`~=`@ \lowercase{\endgroup
  \def\CDat{\let~\Iat\mathcode`@="8000\relax}%
}

\newcommand\xbf[1]{#1}
\newcommand\fg[1]{#1}
\newcommand\obf[1]{#1}
\newcommand\R{{R}}

\begin{document}
Diagram:
  \begin{equation*}
  \begin{CD}
    \obf{\omega} \in \R^{3\times 3} @<\xbf{Ad}_{\xbf{B}}<< \obf{\Omega} \in \R^{3\times 3} \\
    @A\hat{\ }AA @AA\hat{\ }A\\
    \fg{\omega}=\xbf{B}\fg{\Omega} \in\R^3 @<\xbf{B}<< \fg{\Omega}\in \R^3
  \end{CD}
  \end{equation*}
\end{document}

Alternativement, avec la dernière version de LaTeX (2020-10-01), vous pouvez remplacer les trois lignes de code de \begingroupà }par

\AtBeginEnvironment{CD}{\mathcode`@="8000\relax}

bien que ce soit moins attrayant pour moi.

Avec tikz-cd:

\documentclass[12pt]{article}
\usepackage{amsmath}
\usepackage{unicode-math}
\usepackage{tikz-cd}

\newcommand\xbf[1]{#1}
\newcommand\fg[1]{#1}
\newcommand\obf[1]{#1}
\newcommand\R{{R}}

\begin{document}

Diagram:
\begin{equation*}
  \begin{tikzcd}
  \obf{\omega} \in \R^{3\times 3} &
  \obf{\Omega} \in \R^{3\times 3} \arrow[l,"\xbf{Ad}_{\xbf{B}}"']
  \\
  \fg{\omega}=\xbf{B}\fg{\Omega} \in\R^3  \arrow[u,"\hat{\ }"] &
  \fg{\Omega}\in \R^3 \arrow[l,"\xbf{B}"'] \arrow[u,"\hat{\ }"]
  \end{tikzcd}
\end{equation*}

\end{document}

Answer 2

Cela semble fonctionner à nouveau si vous réinitialisez le mathcode de @:

\documentclass[12pt]{article}
\usepackage[T1]{fontenc}
\usepackage{amsmath}
\usepackage{amscd}
\usepackage{unicode-math}
\newcommand\xbf[1]{#1}
\newcommand\fg[1]{#1}
\newcommand\obf[1]{#1}
\newcommand\R{{R}}
\begin{document}


Diagram:
  \begin{equation*}\mathcode`\@="8000
  \begin{CD}
    \obf{\omega} \in \R^{3\times 3} @<\xbf{Ad}_{\xbf{B}}<< \obf{\Omega} \in \R^{3\times 3} \\
    @A\hat{\ }AA @AA\hat{\ }A\\
    \fg{\omega}=\xbf{B}\fg{\Omega} \in\R^3 @<\xbf{B}<< \fg{\Omega}\in \R^3
  \end{CD}
  \end{equation*}
\end{document}