私たちは、数学を「単なる記号列を変形していくゲーム」とみなします。それを機械に行わせるべく、ルールを決めます。
数学の現場(大学の数学科)で使われる表現をなるべくそのまま使用できるようにします。

ルールは完全・厳密でなくても機械化をするのに十分であればOKと考えます。また、一部のルールは未完のまま放置されています。
開発者が読むべき所はこの色で書かれます。主に、phpに処理させる方法やfunctionが記述されます。