Added symbol converter