anchor.diff:      file:close(File).
   
   term_to_latex_string(Term) ->
  -    quote_latex(lists:flatten(io_lib:format("~p", [Term]))).
  +    quote_latex(lists:flatten(io_lib:format("~0.0p", [Term]))).
   
   quote_latex([]) -> [];
   quote_latex([Char | Tail]) ->
  
positive.code:             EventTime = element(2, X),
              io:format(
                File, "\\draw [color=blue] (~fcm, -~f) ++(0, 0.1cm) node[rotate=60, anchor=west, inner sep=1pt] {\\tiny ~s}-- ++(0, -0.2cm);~n",
                [EventTime/ScaleX, SrcNum/2, term_to_latex_string(get_msg_tag(element(5, X)))]),
              %% not yet implemented
              DrawTrace
      end,
      draw_messages(File, Nodes, ScaleX, HaveRealTime, RemainingTrace).
  
negative.code:             $_ ->  "\\_";
              ${ ->  "\\{";
              $} ->  "\\}";
  %%            $[ ->  "\\[";
  %%            $] ->  "\\]";
              $# ->  "\\#";
              %% $< ->  lists:reverse("$\lt$");
              %% $> ->  lists:reverse("$\gt$");
              _ -> [Char]
  