What is the abbreviation for Thiokol corporation?

Looking for the shorthand of Thiokol corporation or how to abbreviate it? We have 2 shorthands for Thiokol corporation.