The spinoff shares do have their own ticker symbol. From researching the history, it was the result of an acquisition. The company associated with the spinoff shares acquired the original company. in 2002. The original shares were sold in 2003 (the spinoff shares were received in 2002 and sold in 2022).
