Fix #9923 (broken arrow symbol)