In particular `<-` as a left arrow, since you've already got `->` as a right arrow.
In particular
<-as a left arrow, since you've already got->as a right arrow.