Using non-ASCII characters in pretty printing?

Utop on macOS. 123456789012345689 (characters added to sastisfy the minimal number of character needed to post).