use cat tex