On Sunday, January 5, 2020 at 7:39:14 PM UTC-5, Benoit wrote: > > > 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. >
OK. you (or David or whoever wants) can add the "t". Norm -- 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/9f14b180-0731-4f58-b3c1-47d88053539d%40googlegroups.com.
