Time we switched to unicode?

[Chris Angelico]

On Tue, Mar 25, 2014 at 7:05 PM, Marko Rauhamaa <marko at pacujo.net> wrote:
> Chris Angelico <rosuav at gmail.com>:
>
>> On Tue, Mar 25, 2014 at 4:14 PM, Mark H Harris <harrismh777 at gmail.com> wrote:
>>>>>> Π = pi
>>
>> That's good! (Although typing Π quicker than pi is majorly pushing it.
>
> It don't think that's good. The lower-case letter π should be used. The
> upper-case letter is used for a product, although unicode dedicates a
> separate character for the purpose: ∏.
>
> I often see Americans, especially, confuse upper and lower-case letters
> in symbols ("KM" for "km", "L" for "l" etc). However, we are dealing
> with case-sensitive programming languages, so our eyes should have been
> trained to address meaning to upper and lower case.

This has been pointed out multiple times, and I did notice it myself.
But it's not significant, and I was trying to avoid nit-picking. If
you can type a capital ∏, you can type a lower-case π, unless there's
something very weird going on. So it still makes his point.

ChrisA