"man streiche" • bedeutet bei Korrekturen, etwas zu entfernen, beispielsweise überflüssige Zeichen oder Texte. Man benutze das Deleaturzeichen (Korrekturzeichen). (Deleatur)