我如何排版 \simeq 类箭头？

Question 1

\documentclass[11pt,a4paper]{article}
\usepackage[T1]{fontenc}                
\usepackage[utf8]{inputenc}             
\usepackage[english,italian]{babel}
\usepackage{amsmath,amssymb,amsthm}
\newcommand{\DistTo}{\xrightarrow{
   \,\smash{\raisebox{-0.65ex}{\ensuremath{\scriptstyle\sim}}}\,}}
\begin{document}
$\DistTo$
\end{document}

编辑：现在我记得当时在网站上使用了此解决方案。我的错。以下是链接：如何排版带有长条的同构符号 ($\simeq$)

Answer

\documentclass[11pt,a4paper]{article}
\usepackage[T1]{fontenc}                
\usepackage[utf8]{inputenc}             
\usepackage[english,italian]{babel}
\usepackage{amsmath,amssymb,amsthm}
\newcommand{\DistTo}{\xrightarrow{
   \,\smash{\raisebox{-0.65ex}{\ensuremath{\scriptstyle\sim}}}\,}}
\begin{document}
$\DistTo$
\end{document}

编辑：现在我记得当时在网站上使用了此解决方案。我的错。以下是链接：如何排版带有长条的同构符号 ($\simeq$)

Question 2

您可以尝试 Heiko Oberdiek 针对此问题提供的解决方案同构地图的符号？

（几天前，crf、egreg 和 david carlisle 对其进行了增强）。如何解决断言失败弹出窗口？

为了我自己的目的，我对原件副本做了一些小修改：\relbar用空格和命令\rightarrow中的两个宏替换了这两个宏\@isomorphism。还为前端命令提供了\isomorphism一个可选参数，以便\sim根据我的需要升高或降低箭头上的符号。

以下是我对 Oberdiek 解决方案的复制（略作修改）：

%%===================================================
\documentclass{article}
\usepackage[math-style = TeX,nabla = upright]{unicode-math}
%%
\setmathfont{xits-math.otf}
\setmathfont{FdSymbol Bold}[range={\ast}]       % bold asterisk symbol
%%===================================================
\makeatletter
\newcommand{\isomap}[1][3]{\mathrel{\raise 0.2ex\hbox{$\mathpalette\@isomap{#1}$}}}
%--------------------------------------------------------------------------
% Calculate the distance of moving \sim up as in \simeq
%--------------------------------------------------------------------------
\newcommand*{\@isomap}[2]{%
    \sbox0{$#1\simeq$}%
    \sbox2{$#1\sim$}%
    \dimen@=\ht0%
    \advance\dimen@ by -\ht2%
%--------------------------------------------------------------------------
% Compose the two symbols (\sim & \rightarrow)
%--------------------------------------------------------------------------
    \sbox0{\lower#2\dimen@\hbox{$\m@th#1\ \isomap@joinrel\rightarrow$}}%
    \rlap{\hbox to \wd0{\hfill\raise\dimen@\hbox{$\m@th#1\sim$}\hfill}}%
    \box0%
}
%%
\newcommand*{\isomap@joinrel}{%
    \mathrel{\mkern-3.4mu\mkern-1mu\nonscript\mkern1mu\mkern0mu}%
}%
\makeatother
%%===================================================
\begin{document}
Test 1:\quad \( f\colon X \isomap Y \)
\bigskip%

Test 2:\quad \(\mu\colon H_q(X,Y)\isomap H_q(X/Y,\ast)\cong \widetilde{H}_q(X/Y)\)
\end{document}
%%===================================================

还采用了 opentype 字体并稍微提升了整个同构图符号。

Answer