Understanding Leibniz Notation in Calculus: Formal and Informal Interpretations

I wrote this for myself to understand the Leibniz notation. Prerequisites for this post are the definition of the derivative and the Lagrange notation. If you don’t understand these yet, please study them first.