On Saturday, July 9, 2016 at 9:05:18 PM UTC+12, Peter Otten wrote: > Life's too short for abbreviations. Why is there no abbreviation for “abbreviation”? Let me propose “brev”. Nice and ... um ... abbreviated.