some comments in the symbols module