Initial conversion to LaTeX format by pandoc.