On Wed, Apr 23, 2014 at 4:57 PM, Rustom Mody <rustompm...@gmail.com> wrote: > In such a (default) setup typing a ∧ or ∨ is not possible at all without > something like a char-picker and at best has an ergonomic cost that is an > order of magnitude higher than the 'naturally available' characters. > > On the other hand when/if a keyboard mapping is defined in which > the characters that are commonly needed are available, it is > reasonable to expect the ∨,∧ to cost no more than 2 strokes each > (ie about as much as an 'A'; slightly more than an 'a'. Which means > that '∨' is expected to cost about the same as 'or' and ∧ to cost less than > an 'and'
So how much effort are you going to go to for, effectively, the same end result? You can type "or" with the same keystrokes, and it takes zero setup work and zero memorization (you may forget which keystroke you set up for ∨, but I doubt you'll forget how to spell "or", even if you think it means gold/yellow). Where's the benefit? I'm seriously not seeing it. ChrisA -- https://mail.python.org/mailman/listinfo/python-list
