"korrigeringsverktøy" er et 19-bokstavers substantiv som brukes som synonym for "korreksjonsformelen". korreksjonsformelen betyr: Et verktøy brukt til korrigering.