Franklin Wei ca673d7e9f Partially revert the last commit. ... The \if->\If replacement is a bit premature for texlive-2019, apparently. Change-Id: Iab198c2f5e2f00ecdf7e2431e2b77c423e6afc07		2020-06-28 00:08:42 -04:00
..
main.tex	Partially revert the last commit.	2020-06-28 00:08:42 -04:00