using the symdef