In 1983, in an attempt to standardize scientific communications, Leslie Lamport proposed a standard for encoding mathematical symbols that gradually became established as software developments ...