terminals output in TnT format