Snippet #12018-07-14, post № 200mathematics, #analysis, #formal calculation, #symbolicSince and thus is common abuse of notation, I propose this formal identity.