I've generally heard these symbols (and more) referred to as proofreaders' marks or copyeditors' marks, and they're taught in copyediting classes. They are becoming less common as more copyediting is done electronically, using track changes in Word or other word processing programs.