use identical() to check whether symbol objects are the same