Leibniz himself treated dy and dx as formal symbols subject to algebraic cancellation, making 0/0 a ...