The Language of Mathematics

Just a short note that I've noticed that one of the difficulties people have with mathematics is understanding the symbolism. Mathematics, done with rigor, is a different language. It has a unique set of symbols, a syntax, unique terms and common terms with unique definitions, and a loose sort of morphology governing some terms. So, what are the symbols?  Here are some lists:

• A big list from Wikipedia (poorly defined in part, and mixes many branches of math)
• A series of good basic lists from RapidTables
• Latex symbols (used for coding mathematical writing but a good list of symbols as well)
• HTML symbols (as Latex but with HTML)
• A list of mathematical notations used at Wolfram (and, by proxy, Mathworld) (a great resource)

Mathematics has a long history of symbol use depending on the mathematician and journal, which means a long history of symbols being used inconsistently.  Then there is a problem with the way they are taught, which is, in a word, badly.

The use of computers is changing this: computers demand rigorous syntax and symbol use. But computers are also learning how to do math. I predict (probably irresponsibly) that within two hundred years, short of catastrophic changes in the human condition, all mathematical proofs will be performed and checked by computer and all non-trivial proofs (for which there are an infinite number) will have been done for non-esoteric mathematics.