Not an answer, but a few remarks: * The need for more than 26 variables may be a symptom of another problem than notation. Can you give an example of a statement where you need them ?
* A common habit in math is to name variables with primes or indices, e.g. A' , A'' , A0 (displayed $A_0$), A1 etc. Looks like someone already did that (see us2.metamath.org/mpeuni/mmascii.html). * You write you prefer lower case to denote terms which are always sets, but I prefer to use the above "decorations" (primes and indices) to stay closer to other class variables. And also: there is a confusion which was encouraged by the choice of words "set / class" for the types. I insisted to change this, and now it is " setvar / class" (already better, but I had proposed "var / class" to really stop this confusion). The real distinction is "variable versus term" (in Mario's metamath 0, this is "pure versus strict"). * Finally, I see in your mm-comments "Usually used for representing a..." but this is not enforceable and I think it is illusory to want future contributors (human or computer ones) to use $M$ for a matrix or $P$ for a polynomial, etc. Benoit -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/ac25c63e-f90c-4c75-9b95-076c5785e642%40googlegroups.com.
