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