Symbol: "maps isomorphically"

Question

I want to make a symbol for "maps isomorphically" which consists of a relatively large tilde above a right arrow. Overset doesn't work (besides, the tilde would be too small). MWE:

\documentclass{article}
\usepackage{amsmath}

\begin{document}
Thus $X$ is isomorphic to $Y$ via $f$: 
\[f : X \overset{\tilde}{\to} Y.\]
\end{document}

I also tried using array but that didn't work either. 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\]

If I could get this to work, the spacing would need to be adjusted significantly.

have a look ooalign, one of egreg's favourite tools - a tutorial can be found in \subseteq + \circ as a single symbol ("open subset") and in many answers since :) — cmhughes, Aug 12 '14 at 21:18

score 11 · Accepted Answer · answered Aug 13 '14 at 03:19

11

The \xrightarrow should work as pointed out by Alex. Here is how to implement this:

\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}

The output is shown for two different font sizes:

enter image description here

answered Aug 13 '14 at 03:19

AboAmmar

46,352
4
58
127

2

It's not perfect though. There is a small visual "glitch" which is also visible in the screenshot. – paldepind Nov 07 '18 at 11:26

Symbol: "maps isomorphically"

1 Answers1

Linked