How to Pretty-Print a Long Formula

We propose a structured rendering for higher-order logic (HOL) to make specifications more readable. Furthermore, we present a freely-available parser and pretty-printer that implements these ideas, which we call BeautifHOL. We conclude by describing possible exten- sions to our proposal and motivate the need for formatting standards for formal specifications, generally.