ANSI Common Lisp   22 Printer   22.3 Formatted Output   22.3.1 FORMAT Basic Output

22.3.1.2 Tilde Percent: Newline

This outputs a #\Newline character, thereby terminating the current output line and beginning a new one. ~n% outputs n newlines. No arg is used.