On Jan 31, 2013, at 2:20 PM, Andrew Dunstan <andrew@dunslane.net> wrote:
> I'm happy to take opinions about this, and I expected some bikeshedding, but your reaction is contrary to everything
othershave told me. Mostly they love the operators.
>
> I guess that '~>' and '~>>' would work as well as '->' and '->>'.
Or +> and +>>, since ~ is set very high and small by some fonts (where the fontmakers though of it as a kind of
superscriptcharacter).
I suppose that := is out of the question?
Best,
David