The LaTeX semantics generated from the mocaml Ott file.