idea: add, search, annotate, link, view, overview, recent, by name, random
meta: news, help, about, links, report a problem
account: browse anonymously, or get an account and write. user: pass: register,
But there are so many commonly used sayings such as "We apply distributive law", "We use E expansion at the vicinity of a point x", "We use T theorem", "We simplify this and that", ... and so on.
The idea is to define commands as operators which take in previous step(s) as an argument and give as a result the next step, this way replacing these wordy descriptions and making mathematical texts more detailed, yet succinct.
back: main index