Writer2Latex backend.