#96 Treat special characters in TeX export

[Ondřej Bouda]

When exporting a diagram to TeX, underscore ("_") characters (maybe some others, too?) are not escaped properly. In particular, a HMSC condition node containing "S1_S2_S3" results in:

\hmsccondition{14}{S1_S2_S3}(1.5,8.6)

which is not valid for TeX---backslashes should be used prior to each underscore.

On the other hand, a comma in a comment is replaced with _, which should be not, as there is no reason for that. I.e., a comment containing "Now, the client..." results in:

\hmsccomment{Now\_ the client...}(10,12.5){9}

whereas the result should be:

\hmsccomment{Now, the client...}(10,12.5){9}

[Ondřej Bouda]

• Description has changed:

Diff:

--- old
+++ new
@@ -5,3 +5,15 @@
 ~~~~~~

 which is not valid for TeX---backslashes should be used prior to each underscore.
+
+On the other hand, a comma in a comment is replaced with \_, which should be not, as there is no reason for that. I.e., a comment containing "Now, the client..." results in:
+
+~~~~~
+\hmsccomment{Now\_ the client...}(10,12.5){9}
+~~~~~
+
+whereas the result should be:
+
+~~~~~
+\hmsccomment{Now, the client...}(10,12.5){9}
+~~~~~

[Anonymous]

TeX export now support special characters. Please check if it is OK now.