On Sunday, January 5, 2020 at 7:52:07 PM UTC-5, Norman Megill wrote: > > 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". >
Note that 'sqr' occurs in mmset.raw.html, mm_100.html, index.html, mmhil.html, mmmusic.html, and symbols.html, so they will need to be updated at the same time. 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/d8461624-59bb-4511-ae3c-53353bffde51%40googlegroups.com.
