Clean up non-normative content in syntax.tex

otronarp · Apr 23, 2020 · 067e948 · 067e948
1 parent f5f943d
commit 067e948
Showing 1 changed file with 8 additions and 9 deletions.
diff --git a/chapters/syntax.tex b/chapters/syntax.tex
@@ -34,8 +34,8 @@ \section{Lexical conventions}\doublelabel{lexical-conventions}
 (\url{http://www.unicode.org}; see \autoref{mapping-package-class-structures-to-a-hierarchical-file-system} for storing as UTF-8 on files) except double-quote """, and backslash "\textbackslash{}"
 
 For identifiers the redundant escapes (`\lstinline!\?!' and `\lstinline!\"!') are the same as the corresponding non-escaped
-variants (`\lstinline!?!' and '\lstinline!"!'). {[}\emph{The single quotes are part of an
-identifier. E.g. \lstinline!'x'! and \lstinline!x! are different IDENTs}{]}.
+variants (`\lstinline!?!' and '\lstinline!"!').  The single quotes are part of an identifier. E.g. \lstinline!'x'! and
+\lstinline!x! are different IDENTs.
 
 Note:
 \begin{itemize}
@@ -59,13 +59,12 @@ \section{Lexical conventions}\doublelabel{lexical-conventions}
   Each description-string or string in annotations (= STRING with production annotation-clause in the
   grammar) may contain any member of the Unicode character set. All
   other strings have to contain only the sub-set of Unicode characters
-  identical with the 7-bit US-ASCII character set. {[}\emph{As a
-  consequence, operators like `\textgreater{}' or `\textless{}', and
-  external functions only operate on ASCII strings and not on
-  Unicode-strings.} \emph{Within a description-string the tags
-  \lstinline!<HTML>! and \lstinline!</HTML>! or
-  \lstinline!<html>! and \lstinline!</html>!
-  define optionally begin and end of content that is HTML encoded.}{]}
+  identical with the 7-bit US-ASCII character set.
+  \begin{nonnormative}
+  As a consequence, operators like `\textgreater{}' or `\textless{}', and external functions only operate on ASCII strings and not on Unicode-strings.
+  Within a description-string the tags \lstinline!<HTML>! and \lstinline!</HTML>! or \lstinline!<html>! and \lstinline!</html>! define optionally begin
+  and end of content that is HTML encoded.
+  \end{nonnormative}
 \item
   Boldface denotes keywords of the Modelica language. Keywords are
   reserved words and may not be used as identifiers.