What is the abbreviation for Gas cooled reactor?

Looking for the shorthand of Gas cooled reactor or how to abbreviate it? We have 3 shorthands for Gas cooled reactor.