Earlier quoted context omitted.
I prefer Mathematica's notation over Leibniz's, because it is not as ambiguous (dx can also mean d TIMES x, as a simple example, but also dy^2 can mean d(y^2) and (dy)^2)
I'd go stronger than this and say that Leibniz's notation is actively harmful. It is very useful for quickly doing certain kinds of computations, but at the expense of conceptual understanding for students. Obviously, it's fine to use whatever computational aids you want when you understanding things, but most students are taught nothing but this fragile notation.
In the same line, it's great at shining a light on the substitution rule for integration.
Given that your point that it can be obscure at first remains valid, I'd walk the middle line of introducing students to the f'(x) notation first; and after the introduction to integrals introduce this notation to them.