<h4><a name="J.5.2" href="#J.5.2">J.5.2 Specialized identifiers</a></h4>
<p><!--para 1 -->
Characters other than the underscore _, letters, and digits, that are not part of the basic
source character set (such as the dollar sign $, or characters in national character sets)
may appear in an identifier (<a href="#6.4.2">6.4.2</a>).
<h4><a name="J.5.2" href="#J.5.2">J.5.2 Specialized identifiers</a></h4>
<p><!--para 1 -->
Characters other than the underscore _, letters, and digits, that are not part of the basic
source character set (such as the dollar sign $, or characters in national character sets)
may appear in an identifier (<a href="#6.4.2">6.4.2</a>).