Leibniz's notation