TeX Quellcode:
\rightarrowtail