symbolic constant