I doubt it does. Most of Asia you'd find Casio is the preferred brand, and TI, HP isn't even available.
The Casio ones should be cheaper in the US too(they usually cost around 10$), I would think them very popular there as well, unless perhaps TI and HP has some kind of nerfarious link up with the Dept of Education to monopolize the market.