Intriguing.
Anyway, division wouldn't work because they use '/' to indicate a future. You'd need a way of 'escaping' the character. I tried '\//', where the '\' indicates that the next character should be 'escaped', that is, used for its general purpose rather than as the first character of a futures symbol, but it didn't like that.