范畴论中的一一对应关系

Question

我在范畴论中看到过一个符号，看起来像两条平行线，上面有文字，下面有文字。这意味着上面的东西与下面的东西一一对应。我不知道如何在 latex 中巧妙地写出来。因此，我想写类似的东西：

\underset{x\in F(C)}{\overset{y_{C}\to F}{=}}

但我希望两条平行线的行为方式如下\xrightarrow。

我还想堆叠两个以上的“=”，例如：

Answer 1

我添加了我的卑微建议（题外话）（我认为）使用简单的tikz-cd包来创建如此优秀的用户图像之一@薛定谔的猫。您可以放置​​更多接近A并B 使用环境内使用的row sep和参数。column sep\begin{tikzcd} ... \end{tikzcd}

\documentclass[a4paper,12pt]{article}
\usepackage{tikz-cd}
\begin{document}
\begin{tikzcd}
A \arrow[r,dash, yshift=0.2ex, "y_{C}\to F"] \arrow[r,dash, yshift=-0.2ex, "x\in F(C)"']
& B 
\end{tikzcd}
\end{document}

这是输出的屏幕截图。

Answer 2

欢迎！这只是从amsmath.sty和复制而来mathtools.sty，并进行了调整。编辑： 用过的GUM的善意建议，这样不太可能引起与查看器相关的问题，并且也更简单。

\documentclass[12pt]{article}
\usepackage{mathtools}
\makeatletter
\def\DoubleFill@{\arrowfill@\Relbar\Relbar\Relbar}
\providecommand*\xDouble[2][]{%
  \ext@arrow 0055{\DoubleFill@}{#1}{#2}}
\makeatother
\begin{document}
\[ A\xDouble[x\in F(C)]{y_{C}\to F}B\]
\[ \scriptstyle A\xDouble[x\in F(C)]{y_{C}\to F}B\]
\Huge
\[ A\xDouble[x\in F(C)]{y_{C}\to F}B\]
\[ \xDouble[{\xDouble[\mathrm{presheaf}]{x\in F(C)}}]{y_{C}\to F}\]
\end{document}