def main(): process(HtmlFormat, sys.stdin, sys.stdout)
def main(): process(TexFormat, sys.stdin, sys.stdout)