[autotex] Better terminal printing