diff --git a/contrib/dump-asy.pl b/contrib/dump-asy.pl index 47239f2d..c75dfcd0 100755 --- a/contrib/dump-asy.pl +++ b/contrib/dump-asy.pl @@ -32,6 +32,8 @@ sub dump_node { my $w = (defined($n->{window}) ? $n->{window} : "N"); my $na = $n->{name}; $na =~ s/#/\\#/g; + $na =~ s/\$/\\\$/g; + $na =~ s/&/\\&/g; $na =~ s/_/\\_/g; $na =~ s/~/\\textasciitilde{}/g; my $type = 'leaf';