It doesn't matter in practice. These two bars denote either absolute value, or norm, or determinant, all of which are real or complex numbers. People surely hav

It doesn't matter in practice. These two bars denote either absolute value, or norm, or determinant, all of which are real or complex numbers. People surely have the freedom to define a non-commutative multiplication with real/complex scalars, but have you ever seen one?