Why is there no derivative notation with the clarity of Leibniz's and the compactness of Lagrange's?
Both are shit. Leibniz's notation is unwieldy, open to abuse, and takes up too much space; Lagrange's notation falls apart when applied to anything other than single-variable functions.