[Therion] How to use user-defined symbols