On Wed, Oct 9, 2013 at 6:17 AM, Kenichi Handa <address@hidden> wrote:
In addition, one may prefer ⇒ rather than →, then perhaps
we can add "/=>" for such a person.
That is a good point. We would want some consistency between the way to type => and -> . But, still favoring short keystrokes, I would use the /> and /< keystrokes. Attaching an altered file.
To anubhav and satish - I understand that arrows are not common in devanAgarI text online - common devanAgarI masses don't bother with sanskrit production rules (although part of the reason is the difficulty involved in typing it - in hand written notes, I use many arrows). Point is it is important / de jour for some people (eg: me), who receive messages such as: