symbolic notation