Las flechas de tikz-cd no están alineadas horizontalmente como se esperaba

Question

Tengo el siguiente código

\begin{tikzcd}[row sep=tiny]
    & (\nu d,\, e)(\bar{b} \langle e \rangle \,|\,\bar{d}) \not\downarrow_c \\
(\nu d,\, e)\bar{b} \langle d \rangle \,|\, \bar{b} \langle e \rangle \,|\, b(x).\bar{x} \arrow[ur] \arrow[dr] & \\
    & (\nu d,\, e)(\bar{b} \langle d \rangle \,|\,\bar{e}) \not\downarrow_c \\
\end{tikzcd}

y por alguna razón, las 2 flechas tienen diferentes puntos de inicio horizontalmente. Intenté convertir la segunda fila en un nodo y agregarlo cells={nodes={anchor=east}}, pero el problema persiste. ¿Algúna idea de cómo arreglar esto? También es un problema muy extraño porque si elimino algunos caracteres de la segunda fila, parece tener el comportamiento previsto.

Editar: Se corrigió la inconsistencia que Marijn señaló

Answer 1

Puede utilizar anclajes diferentes a los del centro predeterminado.

También eliminé todos \,los comandos y usé \mid; Para mejorar el horrible resultado de \not\downarrow, empleé \centernot.

Nota: hay un paréntesis desequilibrado en el término de la izquierda. Arreglalo.

\documentclass{article}
\usepackage{amsmath}
\usepackage{tikz-cd}
\usepackage{centernot}

\begin{document}

\[
\begin{tikzcd}[row sep=tiny]
  & (\nu d, e)(\bar{b} \langle e \rangle \mid \bar{d}) \mathrel{\centernot\downarrow}_c \\
(\nu d, e)(\bar{b} \langle d \rangle \mid \bar{b} \langle e \rangle \mid b(x).\bar{x}
  \arrow[ur,start anchor=north east,end anchor=base west]
  \arrow[dr,start anchor=south east,end anchor=real west] &
\\
  & (\nu d, e)(\bar{b} \langle d \rangle \mid \bar{e}) \mathrel{\centernot\downarrow}_c \\
\end{tikzcd}
\]

\end{document}