UnicodeToLaTeX.hs: unimathsymbols.txt
	./unicodetotex.hs

.PHONY: clean
clean:
	-rm UnicodeToLaTeX.hs