What is the abbreviation for Is hobbes thinking?

Looking for the shorthand of Is hobbes thinking or how to abbreviate it? We have 2 shorthands for Is hobbes thinking.