a latex to xml/json translator