PHP library for (La)TeX abstraction