> Is there any computer language anywhere that uses "sqr" for square? >
Pascal is one of them: http://xoomer.virgilio.it/gciabu/engl/pascal/pas038.htm I understand the size concern with all the compound labels, but here it's only one letter, and related theorems are probably not used that much. > The reason was simply to be more consistent. We only had one type of > ring, and some places used "ring" while others used "rng". I changed them > to "rng", picking the shorter of the two choices. I didn't know about the > two spellings used in the literature for different kinds of rings. > I'm fine with making these changes since there is an ambiguity to be > resolved, and it is good to conform somewhat more closely to math texts > when it is practical to do so. If no one else has an objection, I don't > think we need to open a separate thread. If you (BJ) want to create a PR > for this when you find it convenient, please do so and we will accept it. > I'll wait for other potential objections (and for a period with more free time), and I'll try to create a PR soon...ish. Benoît -- 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/c2d00409-d9ce-4dfc-9480-52a6d90af122%40googlegroups.com.
