Small cosmetic changes to the latest added symbols