added symbolset, and the jots are now being simplified