CR for symbol of death?

[Peter Gibbons]

That's the formula for saving throw DC, not CR. I believe that typically, yes, a magical trap has a CR equal to its spell level.

Spell level +1, actually. Symbol of death would be a CR 9 trap.