Establishing equality between symbols and symbol references