symbol or annotation.