Time we switched to unicode? (was Explanation of this Python language feature?)

[Mark H Harris]

On 3/24/14 10:17 PM, Chris Angelico wrote:
> On Tue, Mar 25, 2014 at 2:00 PM, Rustom Mody<rustompmody at gmail.com>  wrote:
>> Yeah: Its 2014 (at least out here)...
>> About time we started using unicode in earnest dont you think??
>
> We do.
>
>> Id like to see the following spellings corrected:
>> lambda to λ
>> in to ∈
>> (preferably with the 'in' predicate and the 'in' in 'for' disambiguated)
>> set([]) to ∅
>
> The problems with these is not Unicode or a lack thereof, but keys. I
> know how to type "lambda" on any keyboard I reach for;

Yeah, its a fit.  I found pi -> ∏

... and here's apple pi ->   ∏

but, rats, can't find \ lambda