diff options
| author | Peter Sewell | 2017-04-06 14:16:05 +0100 |
|---|---|---|
| committer | Peter Sewell | 2017-04-06 14:16:05 +0100 |
| commit | 3b3af5555654f21f338b38e3adeb62760e5e72ff (patch) | |
| tree | 456228476d1dfb72b1b6eb1e7d318246cdbb439e /language/l2_terminals_tt.ott | |
| parent | 619fbaa211e5a3bdea720e3c15e63de8533a464c (diff) | |
typesetting tt vs non-tt
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{<=} }} |