微分解析学の世界公式は lim(x→0)ｘ＝ｄｘ→０

他の場合にはlim(x→5)ｘ→５などのように極限値が実数だと等号を得られないようにする。



するとｄｙ/ｄｘのような微分商は割り算の形のまま計算して矢印で実数に翻訳できるので便利だ。