with tex