What is the abbreviation for Holiday leave?

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