Leibniz notation for differentiation