reinstating latexml binding that got out of sync; thanks to Deyan for finding this.