symbolic methods