What is the abbreviation for Six flags?

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