On Sat, May 10, 2014 at 9:49 AM, John Cowan <xxxxxx@mercury.ccil.org> 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