Fix formatting of symbols