x → maps to y
<mrow> <mi> x </mi> <munder> <mo> → </mo> <mtext> maps to </mtext> </munder> <mi> y </mi> </mrow>