https://topbrochure.com/adding-symbols-to-an-existing-symbols-cata/