@deprecated_ii You can consistently define the order of operations to work either way. In serious work, people generally don't write non associative operations in a way where you need a special rule to figure out what the correct order of application is, because that's dumb. I have never seen the divides symbol used outside elementary algebra and arithmetic classes.