Type designers use optical corrections to make letterforms look mathematically "wrong" but perceptually right.