This is one of the things most mathematicians usually don't care much about. Unlike programming (or automated theorem proving), mathematics can tolerate slight

This is one of the things most mathematicians usually don't care much about. Unlike programming (or automated theorem proving), mathematics can tolerate slight ambiguities that end up not mattering for the argument at hand, because it's ultimately read by people who understand the context.