tex dot2tex