[drran]

Equality is very important concept in mathematics, because it allows to manipulate formulas by rules. When formulas are manipulated, it's important to keep them as small as possible, because it's hard to manipulate a wall of text. Instead of short sequence of formulas, which you can write and verify quickly, you will have lengthy books, like written by ancient mathematics.

For example, command line tools, which are used often, also have cryptic one-symbol options, like `tar xzf`, which looks like formulas, for same reason: to be able write, manipulate, and check them quickly. However, most command tools are distributed with a built-in help or manual for these cryptic options, while most formulas are not. IMHO, we need something like «formulapedia», with manuals for most popular formulas.