With/1 design patterns

with/1

The precedent for the left arrow probably comes from for/1; see Pronouncing `<-`.