prettyForm is from stringpict