TeX Quellcode:

\rightarrowtail