我想制作一个表示“同构映射”的符号，它由右箭头上方的相对较大的波浪符号组成。重叠不起作用（此外，波浪符号太小）。MWE：
\documentclass{article}
\usepackage{amsmath}
\begin{document}
Thus $X$ is isomorphic to $Y$ via $f$:
\[f : X \overset{\tilde}{\to} Y.\]
\end{document}
我也尝试过array但也没有用。MWE：
\documentclass{article}
\usepackage{amsmath}
\begin{document}
Thus $X$ is isomorphic to $Y$ via $f$:
\[f: X \begin{array}{c}\tilde \\ \to \end{array} Y\]
如果我能让它工作的话，间距就需要进行大幅调整。
答案1
应该\xrightarrow可以像 Alex 指出的那样工作。以下是实现方法：
\documentclass{article}
\usepackage{amsmath}
\begin{document}
{\tiny
Thus $X$ is isomorphic to $Y$ via $f$:
\[f : X \xrightarrow{\sim} Y.\]
}
{\Large
Thus $X$ is isomorphic to $Y$ via $f$:
\[f : X \xrightarrow{\sim} Y.\]
}
\end{document}
输出显示两种不同的字体大小：
