Finished converting existing Y documentation to LaTeX format.