Technically they had to as the symbols did not represent the new underlying holdings. Yesterday I held preferreds shares of a company in BK. Today I hold CVRs in a company that has exited BK. With as many that there is with CVRs I hope they find a way to assign them a new symbol so they can be traded. If not, all we can do is wait.
Market Data 
Markets 
AI
