\rightarrow の上に \sim を乗せた矢印付きの同型の記号ってありますか？