Try https://en.wikipedia.org/wiki/Elementary_Calculus:_An_Infini...

Generally most of these 'handwavy' notations are rigidly provable, but only under general assumptions, that might not be true in special cases.