"korrigeringsverktøy" er et 19-bokstavers substantiv som brukes som synonym for "feilretter". feilretter betyr: Verktøy brukt for korrigering.