I agree it needs to be more clearly defined, but one of the reasons it wasn’t clearly defined was because mathematicians thought it was so universal it didn’t need defining, like how parentheses work to begin with.
Casio tried not doing umplicit multiplication after some american teachers complained, then went back to doing it after everyone else complained. Implicit multiplication is the standard.