More work on converting the Y v1.1 reference documentation to LaTeX format.