むしろ代入も等号も方程式も恒等式もみ〜んな '=' ですましている数学のほうがどうかと