improved documentation in symbols.h