Chasing down the right symbol names