Support for multiple kinds of symbols