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