使用 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}

從教學的角度來看，我非常懷疑這些圖表的實用性。