blob: c6bc8d348a638adcfca6ef7db25d8c9a09dd5c0e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
grammar
terminals :: '' ::=
| < :: :: lt
% {{ tex \ensuremath{\langle} }}
{{ tex \ottsym{<} }}
| > :: :: gt
% {{ tex \ensuremath{\rangle} }}
{{ tex \ottsym{>} }}
| [| :: :: range_start
{{ tex \mbox{$\ottsym{[\textbar}$} }}
| |] :: :: range_end
{{ tex \mbox{$\ottsym{\textbar]}$} }}
| [|| :: :: list_start
{{ tex \mbox{$\ottsym{[\textbar\textbar}$} }}
| ||] :: :: list_end
{{ tex \mbox{$\ottsym{\textbar\textbar]}$} }}
| -> :: :: arrow
% {{ tex \ensuremath{\rightarrow} }}
{{ tex \ottsym{-\textgreater} }}
{{ com \texttt{->} }}
| >= :: :: geq
% {{ tex \ensuremath{\geq} }}
{{ tex \ottsym{\textgreater=} }}
{{ com \texttt{>=} }}
| '<=' :: :: leq
% {{ tex \ensuremath{\leq} }}
{{ tex \ottsym{\textless=} }}
{{ com \texttt{<=} }}
|
