started dot_custom.tex to customize output of twelf2tex by redefining typesetting of relations