TSa writes: > I'm very glad, too. Even though I would like the new operator > spelled / for aesthetic reason.
I think there'd be problems making that work. It's a prefix operator, so it has to appear in term position, and we already have terms that begin with C</>, in the form of regexes. Forcing regexes to always use the C<m> or C<rx> prefix sounds inadvisable on Huffman grounds. -- Aaron Crane
