19

Suppose I have a map A → B which is an isomorphism. I'd like to represent this as something that looks like \rightarrow with \simunder it. I could try \underset{}_{}, but is there already a ready made symbol?

I couldn't find the symbol using Detexify, nor in the comprehensive list of LaTeX symbols.

Arun Debray
  • 7,126
  • 2
  • 30
  • 54
qui_vadis
  • 513
  • 8
    You want the \sim under the \to? Odd. I don't think I've ever seen an isomorphism written like that. – TH. Oct 26 '10 at 02:38

2 Answers2

11

Theoretically, you could use \xrightarrow[\sim]{} (from amsmath) or \xlongrightarrow[\sim]{} (from extarrows). Both look horrible though. The \sim on top of the arrow (like \xlongrightarrow{\sim}) looks somewhat better.

Unicode defines ⥴ (U+2974 RIGHTWARDS ARROW ABOVE TILDE OPERATOR), which you can use in case you run Xe/LuaLaTeX with unicode-math (either directly or with the \rightarrowsimilar alias). There are also ⥱ (\equalrightarrow), ⥲ (\similarrightarrow), ⥳ (\leftarrowsimilar), ⥵ (\rightarrowapprox) and other strange things.

Caramdir
  • 89,023
  • 26
  • 255
  • 291
9

A bit of adjustment of the spacing may help. For example, with

\documentclass{article}
\usepackage{amsmath,fixltx2e}
\newcommand*\MapsTo{%
  \xrightarrow[\raisebox{0.25 em}{\smash{\ensuremath{\sim}}}]{}%
}
\begin{document}
Test \( x \MapsTo y \) test.
\end{document}

I feel the result is not tool bad. You may need to adjust the amount of vertical shift to suite the font in use. I've not scaled-down the \sim here, as it's not clear from the original question if it should be full-sized or small. It would be easy enough to do that, though, if necessary.

Joseph Wright
  • 259,911
  • 34
  • 706
  • 1,036
  • 1
    (+1) How to adjust space when we want the symbol over the arrow? I tried with \xrightarrow{\raisebox{-0.25 em}{\smash{\ensuremath{\sim}}}} but doens't work. – Fabio Lucchini Jul 16 '18 at 08:26
  • 2
    @FabioLucchini Try \xrightarrow{\raisebox{-0.7ex}[0ex][0ex]{$\sim$}} (taken from here: https://tex.stackexchange.com/a/479324/35477) – Seub Dec 10 '19 at 12:01