Some constants for terminal pretty printing