"rettingsformler" er et 15-bokstavers substantiv som brukes som synonym for "korreksjonsformlene". korreksjonsformlene betyr: Formler for retting av feil