correct-symbol (1)