Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 4 additions & 2 deletions source/lex.tex
Original file line number Diff line number Diff line change
Expand Up @@ -901,14 +901,16 @@
\begin{bnf}
\nontermdef{identifier-start}\br
nondigit\br
\textnormal{an element of the translation character set with the Unicode property XID_Start}
\textnormal%
{an element of the translation character set with the Unicode property XID_Start or the Unicode property ID_Compat_Math_Start}
\end{bnf}

\begin{bnf}
\nontermdef{identifier-continue}\br
digit\br
nondigit\br
\textnormal{an element of the translation character set with the Unicode property XID_Continue}
\textnormal%
{an element of the translation character set with the Unicode property XID_Continue or the Unicode property ID_Compat_Math_Continue}
\end{bnf}

\begin{bnf}
Expand Down
14 changes: 8 additions & 6 deletions source/uax31.tex
Original file line number Diff line number Diff line change
Expand Up @@ -31,15 +31,17 @@
where \tcode{<Start>} has the XID_Start property,
\tcode{<Continue>} has the XID_Continue property, and
\tcode{<Medial>} is a list of characters permitted between continue characters.
For \Cpp{} we add the character \unicode{005f}{low line}, or \tcode{_},
to the set of permitted \tcode{<Start>} characters,
the \tcode{<Medial>} set is empty, and
the \tcode{<Continue>} characters are unmodified.
\UAX{31} also specifies some standard profiles,
including the Mathematical Compatability Notation profile.
For \Cpp{} we apply the Mathematical Compatability Notation profile,
and we add the character \unicode{005f}{low line}, or \tcode{_},
to the set of permitted \tcode{<Start>} characters.
The \tcode{<Medial>} set is empty.
In the grammar used in \UAX{31}, this is
\begin{outputblock}
<Identifier> := <Start> <Continue>*
<Start> := XID_Start + @\textrm{\ucode{005f}}@
<Continue> := <Start> + XID_Continue
<Start> := XID_Start + ID_Compat_Math_Start + @\textrm{\ucode{005f}}@
<Continue> := <Start> + XID_Continue + ID_Compat_Math_Continue
\end{outputblock}

\pnum
Expand Down
Loading