What is the abbreviation for Harvard college library?

Looking for the shorthand of Harvard college library or how to abbreviate it? We have 2 shorthands for Harvard college library.