You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
16 lines
478 B
Plaintext
16 lines
478 B
Plaintext
%%% grammar support
|
|
\newenvironment{grammar}
|
|
{\begingroup
|
|
\def\orbar{\raw{</td><td align=center>|</td><td nowrap>}}
|
|
\def\nobar{\raw{</td><td align=center></td><td nowrap>}}
|
|
\def\longis{\raw{</td><td align=center>}$\longrightarrow$\raw{</td><td nowrap>}}
|
|
\def\\{\raw{</td></tr><tr><td nowrap>}}
|
|
\raw{<table><tr><td nowrap>}}
|
|
{\raw{</td></tr></table>}\endgroup}
|
|
|
|
\def\bar{\raw{|}}
|
|
\def\kplus{\raw{<sup>+</sup>}}
|
|
\def\kstar{\raw{*}}
|
|
\def\ang#1{\raw{<}#1\raw{>}}
|
|
|