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