Redirecting to Leibniz's notation