Introduced the symbolset library.