What is the abbreviation for Quantified boolean formula?

Looking for the shorthand of Quantified boolean formula or how to abbreviate it? We have 2 shorthands for Quantified boolean formula.