xy パッケージを使用した特定の可換図における、意味のない暗示と中央のバックティック

Question

私にはこの MWE があります:

\documentclass{amsart}
\usepackage[cmtip, all]{xy}
\begin{document}
\xymatrix@R=2pc@C=2pc{ f\in\mathcal C^1(D)   \ar@<.8ex>@{=>}[r] \ar@<-.8ex>@{<=}[r]|{\SelectTips{cm}{}\object@{/}}|{}  & f\,\text{differenziabile} \ar@<.8ex>@{=>}[r] \ar@<-.8ex>@{<=}[r]|{\SelectTips{cm}{}\object@{/}}|{} & f \,\substack{\text{derivabile} \\ \text{parzialmente}}\\
            &  f\,\text{continua} & }
\end{document}

しかし、現時点では、矢印の中央にバックティックを配置したり、下の図のように、意味を示すものと意味を示さないものを配置したりすることはできません。

何か提案はありますか? tikz-cd はご遠慮ください。

Answer 1

私は使用しませんxy。

\documentclass{article}
\usepackage{amsmath}
\usepackage{centernot,array,graphicx}

\begin{document}

\[
\newcommand{\Doublearrows}[2]{% #1 = above, #2 = below
  \mathrel{\raisebox{-0.8ex}{\vbox{\offinterlineskip\ialign{##\cr$#1$\cr$#2$\cr}}}}%
}
\newcommand{\Downlongarrow}{%
  \rotatebox[origin=c]{-90}{$\Longrightarrow$}%
}
\newcommand{\Upnotlongarrow}{%
  \rotatebox[origin=c]{90}{$\centernot{\Longrightarrow}$}%
}
\setlength{\arraycolsep}{0pt}
\begin{array}{c >{{}}c<{{}} c >{{}}c<{{}} c}
f\in\mathcal{C}^1(D) &
\Doublearrows{\mspace{1mu}\Longrightarrow}{\centernot{\Longleftarrow}\mspace{1mu}} &
f\mbox{ differenziabile} &
\Doublearrows{\mspace{1mu}\Longrightarrow}{\centernot{\Longleftarrow}\mspace{1mu}} &
f\ \smash[b]{\substack{\text{derivabile} \\ \text{parzialmente}}} \\
&& \Downlongarrow\;\Upnotlongarrow \\
&& f\mbox{ continua}
\end{array}
\]

\end{document}

教育的な観点から見ると、このような図の有用性については大いに疑問を感じます。