Norman Megill: >Our current square and square root conventions are "sq" and "sqr" resp. >I'm almost certain I've seen "sqr" used for square root in at least one >computer language although I can't recall which one right now. I don't >see >the problem with omitting the "t" since any confusion is instantly >resolved >by hovering over the label, if the content of the proof step doesn't >make >it obvious. If people are truly confused by this, I suppose we can add >the >"t", but until now no one has complained about it.
I am fine with sq as square, but square root is almost universally notated as sqrt. Here is a list of just some of the languages that use sqrt for square root: Fortran C Python Excel Java C# JavaScript Common Lisp Scheme Mathematica Octave / Matlab In short, the standard abbreviation for square root is sqrt. We would make others' lives simpler by using the same abbreviation everyone else does. --- David A.Wheeler -- 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/4F0E5B64-7361-4E4F-AC4F-73C41140B11E%40dwheeler.com.
