Create higher_stacks.tex