I mean, arithmetic order is just convention
Nope, rules arising from the definition of the operators in the first place.
not a mathematical truth
It most certainly is a mathematical truth!
But that convention works in the way we know, yes, because that’s what’s… well… convention
The mnemonics are conventions, the rules are rules