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?