Finished migration from LaTeX file.