Create platforms.tex