Apparently GitHub uses markdown, not Tex...