blob: 2c466b8b046d13fb9ca08e0cc424466b49c240d8 (
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{<=} }}
|
