- <list><item>
- <ebnf>
- <prod of="symbol"/> <def/>
- <prod of="symbol_char"/> <prod of="symbol_char"/> <star/>
- <stop/> <newline/>
- <prod of="symbol_char"/> <def/>
- <chr of="+"/> <or/> <chr of="-"/> <or/> <chr of="."/> <or/>
- <chr of="0"/> <or/> <etc/> <or/> <chr of="9"/> <or/>
- <chr of="A"/> <or/> <etc/> <or/> <chr of="Z"/> <or/>
- <chr of="_"/> <or/> <chr of="a"/> <or/> <etc/> <or/> <chr of="z"/>
- <stop/>
- </ebnf> <newline/>
- this token can represent the identifiers and the numerical constants of most programming languages;
- </item><item>
- <ebnf>
- <prod of="string"/> <def/>
- <chr of="""/> <open/>
- <prod of="string_char"/> <or/>
- <chr of="\"/> <prod of="escape"/>
- <close/> <star/> <chr of="""/>
- <stop/>
- </ebnf> <newline/>
- every valid UTF-8 character whose code point is greater than U+001F is accepted eccept " \ <newline/>
- the next commonly accepted escape sequences are recognized: \0 \a \b \t \n \v \f \r \e \" \\ <newline/>
- morover, the escape sequences \x <two hexadecimal digits> and \u <four hexadecimal digits>
- allow to specify a character by its code point <newline/>
- finally the escape sequences \( for U+0002 and \) for U+0003 are available
- </item><item>
- <ebnf>
- <prod of="qualifier"/> <def/> <chr of=":"/> <stop/>
- </ebnf>
- </item><item>
- <ebnf>
- <prod of="left"/> <def/>
- <chr of="("/> <or/> <chr of="<"/> <or/> <chr of="["/> <or/> <chr of="{"/>
- <stop/>
- </ebnf> <newline/>
- this token starts a compound symbolic expression;
- </item><item>
- <ebnf>
- <prod of="right"/> <def/>
- <chr of=")"/> <or/> <chr of=">"/> <or/> <chr of="]"/> <or/> <chr of="}"/>
- <stop/>
- </ebnf> <newline/>
- this token ends a compound symbolic expression;
- </item><item>
- <ignored> each of the characters U+0009..U+000D U+0020 , ; = <newline/>
- these characters are ignored and separate the other tokens
- </item><item>
- <reserved> any character not starting any other token <newline/>
- these characters are not allowed,
- and those in the range U+0021..U+007E are
- ! # $ % & ' * / ? @ \ ^ ` | ~
- </item></list>
+ <topitem name="contents">
+ <notice class="alpha" notice="Contents:"/>
+ Landau's "Grundlagen der Analysis"
+ (from Jutting's specification in <link to="http://www.win.tue.nl/automath/">Automath</link>).
+ </topitem>
+ <topitem name="access">
+ <notice class="alpha" notice="Access: "/>
+ <rlink to="html/lddl/">html pages</rlink> (updated <notice class="gamma" notice="2019-12"/>),
+ <rlink to="download/lddl.tar.bz2">data set</rlink> (updated <notice class="gamma" notice="2014-12"/>),
+ <rlink to="xml/">HELM server URL</rlink> (updated <notice class="gamma" notice="2014-12"/>).
+ </topitem>
+ <topitem name="examples">
+ <notice class="alpha" notice="Examples: "/>
+ <rlink to="html/lddl/Environment/grundlagen_2/l/e/st/eq/landau/n/rt/rp/r/c/8283/t234.ld.html">
+ Grundlagen's definition "t234"</rlink>
+ in λδ version 4.
+ </topitem>