Fixed up formatting of symbols