Create inference.tex