I am happy with sqr (I do not associate the "r" in sqr with the "r" in "square", but with the "r" in "root"), but I would also accept if it is changed to sqrt.
In any case, "sqr" or "sqrt" should be added to the table of abbreviations in subsection "*17.1.1 Conventions*". Alexander -- 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/00bf244b-1822-4ac8-8d14-23f23894d0f2%40googlegroups.com.
