In general, one should only use entities that are allowed in the output
character set, and for which there is a glyph in the font.
<HR>
-<FONT size="2">
<OL TYPE="1">
<LI> In quoted strings in DOT, the only escaped character is double-quote
("). That is, in quoted strings, the dyad \" is converted to "; all other
perceived lack of usefulness of this generality, we have restricted this feature to
double-quoted strings, where it can actually be helpful.
</OL>
-</FONT>
</BODY>
</HTML>
In general, one should only use entities that are allowed in the output
character set, and for which there is a glyph in the font.
<HR>
-<FONT size="2">
<OL TYPE="1">
<LI> In quoted strings in DOT, the only escaped character is double-quote
("). That is, in quoted strings, the dyad \" is converted to "; all other
perceived lack of usefulness of this generality, we have restricted this feature to
double-quoted strings, where it can actually be helpful.
</OL>
-</FONT>
</BODY>
</HTML>