tex files for ex4