A small Python script to convert PaToH input file format into its graphviz dot file representation ready to be fed into dot2tex.
By chatting or signing in you agree to the Terms and chat-message logging (revocable in History).