Add a non-normalized form of printing