"rettingshjelpemiddel" er et 20-bokstavers substantiv som brukes som synonym for "korrekturdiskett". korrekturdiskett betyr: Hjelpemiddel for retting av tekster