特殊箭头：虚线箭头和普通箭头

Question

我想使用一种在文献中找不到的特殊箭头：即一半是虚线，一半是正常箭头，因此类似$\cdots\rightarrow$，但大小正常。有人知道是否存在这样的命令吗？如果不存在，如何实现它？

Answer 1

一个有钱人（我的意思是，过度杀伤）的解决方案：

\documentclass{article}
\usepackage{tikz}
\def\tikzhalfdotsrightarrow{\tikz[baseline=-.5ex, line cap=round]
   \draw (0,0) [densely dotted] -- (1ex,0) edge[solid, -to] (2.2ex,0);%
}    
\newcommand*{\halfdotsrightarrow}{\mathrel{\tikzhalfdotsrightarrow}}

\begin{document}
% I put a normal arrow and the new arrow in a expression to compare their sizes    
\[
  \frac{|a|\to|b|}{|a|\halfdotsrightarrow|b|}
\]
\end{document}

可以看出，尾巴的长度是一样的（我强行弄的），但是 tikz 版本中尖端的宽度更小。我不知道如何将其放大。

更新：以下定义使“点状”部分看起来确实是点状，而不是虚线。

\def\tikzhalfdotsrightarrow{\tikz[baseline=-.5ex, line cap=round]
   \draw (0,0) [dash pattern=on .01pt off 1.4pt] -- (1ex,0) edge[solid, -to] (2.2ex,0);%
}  

Answer 2

一个穷人的解决方案：

\documentclass{article}
\usepackage{amssymb}% for \dashrightarrow
\newcommand*{\halfdotsrightarrow}{%
  \mathrel{%
    {\cdotp}{\cdotp}{\cdotp}{\rightarrow}%
  }%
}
\begin{document}
  $\dashrightarrow$
  $\halfdotsrightarrow$
\end{document}