>>891
等号が等しくない、移項が成り立たないということでは？

>>889　『a÷b=cあまりd　(b≠0)』
ユークリッド環(環論)
プログラミングでは、除算 a/b=c 整数解 c
剰余(モジュロ)演算で a mod b = d または、a % b = d が求められます

両方を求めるプログラミングはありますが、『a÷b=cあまりd』の変わりになる(c,d両方を同時に求める)数式の記号(演算子)はあったかな？