_
    Texas Stock Exchange Goes Live, Challenges NYSE Nasdaq