Decoding Leibniz Notation (2024)