debug -> tex