What is the abbreviation for Texasgulf inc?

Looking for the shorthand of Texasgulf inc or how to abbreviate it? We have 4 shorthands for Texasgulf inc.