constraint tex files