link ../protex/ProTex.sty