rightsquigarrow 和 leadsto

Question

看来我不能使用rightsquigarrow：

\documentclass{article}
\begin{document}
$\rightsquigarrow$
\end{document}

给我Undefined control sequence如同 一样leadsto。

这是在哪里定义的？

Answer 1

与许多其他有趣的符号一样，它的定义是

\usepackage{amssymb}