unused symbols are grayed