Added provision TeX export for OBS