[eej71]

To add to the confusion, NYSE Texas is just a rebranding of NYSE Chicago which used to be independent of NYSE when it was its own thing.