What is the abbreviation for Theory constraints?

Looking for the shorthand of Theory constraints or how to abbreviate it? We have 3 shorthands for Theory constraints.