symbolic constants