diff options
Diffstat (limited to 'language/l2.ott')
| -rw-r--r-- | language/l2.ott | 58 |
1 files changed, 29 insertions, 29 deletions
diff --git a/language/l2.ott b/language/l2.ott index fdeaf743..599e89bf 100644 --- a/language/l2.ott +++ b/language/l2.ott @@ -950,21 +950,21 @@ terminals :: '' ::= | ** :: :: starstar {{ tex \ensuremath{\mathop{\mathord{*}\mathord{*} } } }} {{ com \texttt{**} }} - | >= :: :: geq -% {{ tex \ensuremath{\geq} }} - {{ tex \ottsym{\textgreater=} }} - {{ com \texttt{>=} }} - | '<=' :: :: leq -% {{ tex \ensuremath{\leq} }} - {{ tex \ottsym{\textless=} }} - {{ com \texttt{<=} }} - | -> :: :: arrow -% {{ tex \ensuremath{\rightarrow} }} - {{ tex \ottsym{-\textgreater} }} - {{ com \texttt{->} }} - | ==> :: :: Longrightarrow - {{ tex \ensuremath{\Longrightarrow} }} - {{ com \texttt{==>} }} +% | >= :: :: geq +% % {{ tex \ensuremath{\geq} }} +% {{ tex \ottsym{\textgreater=} }} +% {{ com \texttt{>=} }} +% | '<=' :: :: leq +% % {{ tex \ensuremath{\leq} }} +% {{ tex \ottsym{\textless=} }} +% {{ com \texttt{<=} }} +% | -> :: :: arrow +% % {{ tex \ensuremath{\rightarrow} }} +% {{ tex \ottsym{-\textgreater} }} +% {{ com \texttt{->} }} + | ==> :: :: Longrightarrow + {{ tex \ensuremath{\Longrightarrow} }} + {{ com \texttt{==>} }} % | <| :: :: startrec % {{ tex \ensuremath{\langle|} }} % {{ com \texttt{<|} }} @@ -985,12 +985,12 @@ terminals :: '' ::= {{ tex \ensuremath{\not=} }} | emptyset :: :: emptyset {{ tex \ensuremath{\emptyset} }} - | < :: :: lt -% {{ tex \ensuremath{\langle} }} - {{ tex \ottsym{<} }} - | > :: :: gt -% {{ tex \ensuremath{\rangle} }} - {{ tex \ottsym{>} }} +% | < :: :: lt +% % {{ tex \ensuremath{\langle} }} +% {{ tex \ottsym{<} }} +% | > :: :: gt +% % {{ tex \ensuremath{\rangle} }} +% {{ tex \ottsym{>} }} | lt :: :: mathlt {{ tex < }} | gt :: :: mathgt @@ -1035,13 +1035,13 @@ terminals :: '' ::= {{ tex \ottkw{consistent\_decrease}~ }} | == :: :: equiv {{ tex \equiv }} - | [| :: :: 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]}$} }} +% | [| :: :: 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]}$} }} |