Loading .gitignore +2 −0 Original line number Diff line number Diff line Loading @@ -4,3 +4,5 @@ *.pdf *.gz *.toc *.fls *.fdb_latexmk 38201.tex +4 −5 Original line number Diff line number Diff line Loading @@ -87,10 +87,9 @@ the terms and definitions given in TR 21.905 {[}1{]} and the following apply. A term defined in the present document takes precedence over the definition of the same term, if any, in TR 21.905 {[}1{]}. Definition format \textit{\textcolor{blue}{Definition format}} \textbf{\textless defined term\textgreater{}}: \textless definition\textgreater. \textbf{\textit{\textcolor{blue}{<defined term>:}}} \textit{\textcolor{blue}{<definition>.}} \textbf{example:} text used to clarify abstract rules by applying them literally. Loading @@ -99,9 +98,9 @@ literally. For the purposes of the present document, the following symbols apply: Symbol format \textit{\textcolor{blue}{Symbol format}} \textless symbol\textgreater{} \textless Explanation\textgreater{} \quad <symbol> \quad <Explanation> \subsection{Abbreviations} Loading Loading
.gitignore +2 −0 Original line number Diff line number Diff line Loading @@ -4,3 +4,5 @@ *.pdf *.gz *.toc *.fls *.fdb_latexmk
38201.tex +4 −5 Original line number Diff line number Diff line Loading @@ -87,10 +87,9 @@ the terms and definitions given in TR 21.905 {[}1{]} and the following apply. A term defined in the present document takes precedence over the definition of the same term, if any, in TR 21.905 {[}1{]}. Definition format \textit{\textcolor{blue}{Definition format}} \textbf{\textless defined term\textgreater{}}: \textless definition\textgreater. \textbf{\textit{\textcolor{blue}{<defined term>:}}} \textit{\textcolor{blue}{<definition>.}} \textbf{example:} text used to clarify abstract rules by applying them literally. Loading @@ -99,9 +98,9 @@ literally. For the purposes of the present document, the following symbols apply: Symbol format \textit{\textcolor{blue}{Symbol format}} \textless symbol\textgreater{} \textless Explanation\textgreater{} \quad <symbol> \quad <Explanation> \subsection{Abbreviations} Loading