Deyan wrote:
5. Question: did you think of |a| as defaulting to "absolute value"? If so, why that operation? It could be any of "absolute-value", "cardinality", "norm", "seminorm", "determinant", "hyperdeterminant", "order-of-group", to borrow from our Level lists. I can imagine that absolute value is the one taught earliest, but I do remember Bulgarians and Romanians learn the determinant syntax in the last grades of highschool. A quick search on Khan academy suggests this is taught in "precalculus", which may be encountered in the last years of K12 also in the US. So we get two meanings for the |a| notation already in K12 math.
In my math speech implementation (used in Word, PowerPoint, OneNote,…), I default to “absolute value” for |…| unless the … is a matrix because norm is denoted with ‖ (U+2016), not |. It’s true that I don’t have a way to force “cardinality” and “order of group” and it’d be great to have such a convention. But for defaults, it’s easy to decide when to say “absolute value” and when to say “determinant” (in whatever natural language).
Thanks,
Murray