If $dx$ is just syntax and not an infinitesimal then why do we apply operations to it?

Let's look at $dx$ to be really only syntax.

Now let's say we have $\int_{u(a)}^{u(b)} f(x)dx$, now I am defining $F(u(t))\implies (F(u(t)))'=f(u(t))u'(t)$ by the fundamentals theorem of calculus we have$$\int_a^b f(u(t))u'(t)dt=\int_a^b (F(u(t)))'dt=F(u(b))-F(u(a))=\int_{u(a)}^{u(b)}F'(x)dx=\int_{u(a)}^{u(b)}f(x)dx$$

This is a way to see that even when we look at $dx$ as syntax we can do it, further more it can even be a justification for being able to look at it like Leibniz did.

More logically we can look at it like the following:

When we change variables we changing $f(x)$ to be $g(u(x))$, now we need to change $dx$ to $d(u(x))$ and really saying $f(x)dx=g(u(x))d(u(x))$ is correct! And even is used in physics and in some area in math. But we also know that $d(u(x))=u'(x)dx$ hance we can change it into $g(u(x))u'(x)dx$


Also, $dx$ can be looked as something that is not syntax, look at: https://math.stackexchange.com/a/21209/471959 and What is $dx$ in integration?

And I am sure there are more questions that discuss this over the internet


If one is working in a framework devoid of infinitesimals, naturally one would be led to deny that $dx$ in the formula for an integral is not an infinitesimal, since there is no such entity to begin with. However, when one works with an infinitesimal-enriched continuum one naturally interprets the symbol $dx$ in the formula for an integral as an infinitesimal, as is done for example in Keisler's textbook Elementary Calculus.

The change of variable formula (also known as "u-substitution") is a consequence of the chain rule for derivatives, which admits a more natural interpretation in an infinitesimal-enriched framework.

You ask: "And moreover if $dx$ is just syntax when what exactly is the integral doing if not implicitly taking the sum of infinitely many 'rectangles' with infinitely small width?" Indeed in Keisler's textbook that's precisely the viewpoint adopted. One only needs to declare $dx$ to be "just syntax" in a framework where infinitesimals aren't available.