What is the abbreviation for Tehran stock exchange?

Looking for the shorthand of Tehran stock exchange or how to abbreviate it? We have 2 shorthands for Tehran stock exchange.