Related Clues:

• Proofreader's notation, perhaps
• Remove print
• Remove a typo
• Expurgate, editorially
• Editor's excision
• Remove from text
• 'Put it here,' basically
• Addition symbol
• Insert sign
• Mark for removal
• ^
• Strike out, to a typesetter
• Mark of omission
• Cross out, in proofreader-speak
• Paper cut?