@aburka Interesting, today I learnt. I don't know the history of this syntax: there doesn't seem to be much precedent for ^ as a range in any PLs that I can think of.