Android TeX interface app