[math-fun] Modular notation