In practice communities of research mathematicians develop latex styles, similar to what they name the variables and like which proofs can be taken for granted. Collaborations are a method to synchronize the latex as are professor/grad student relationships.

So when you injest all the latex, you get the semantics, latex conventions, an variable naming of each school math for free