DESIGN: Began conversion of doc to LaTeX