&rightarrowtail