=の上にdefが乗っている記号があるが、あれみたいな感じで=も細かく分類するべきだな。
=が出てくるたびに、どういう式変形なのかいちいち考えるのがわずらわしい。
とりあえず因数分解は=の上にf、展開は=の上にe。