Re: revised w/nocase text, considering titlecase and cased

[Alex Shinn <alexshinn@xxxxxxxxx>]

On Sat, May 10, 2014 at 9:49 AM, John Cowan <cowan@xxxxxxxxxxxxxxxx> wrote:

I think it was the correct decision.  There are no mathematical contexts
in which you want to treat italic f and italic F as the same thing; the
distinction is always meaningful.  Consider the formula for the area of
a trapezoid, A = (B + b)h/2, where B and b are the two bases.

That's the exception.  It's much more common for a relation to

exist between the two cases, such as elements x of a set X,

or the elements a_i_j of a matrix A, etc.  That's like arguing

p and P should not map to each other because polish and

Polish are different.

But if you decide they should _not_ have case mappings, then

you're treating them strictly as symbols, and giving them case

properties is inconsistent.  It should be one or the other.

-- 

Alex