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