with/1
The precedent for the left arrow probably comes from for/1; see Pronouncing `<-` - #4 by peerreynders.
for/1