added symbol definitions