What is the abbreviation for Ha synthase?

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