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