diff options
Diffstat (limited to 'language/l2_terminals_tt.ott')
| -rw-r--r-- | language/l2_terminals_tt.ott | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/language/l2_terminals_tt.ott b/language/l2_terminals_tt.ott new file mode 100644 index 00000000..c6bc8d34 --- /dev/null +++ b/language/l2_terminals_tt.ott @@ -0,0 +1,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{<=} }} |