Start of latex for HowToPlay