Red tex files