Exemple #1
0
def main():
	process(HtmlFormat, sys.stdin, sys.stdout)
Exemple #2
0
def main():
	process(TexFormat, sys.stdin, sys.stdout)