For the record, I think I've answered my own question by adding:
%%Zinword \& {&}
at the beginning of the file.
Thanks,
Nick
On Wed, Mar 3, 2010 at 5:27 PM, Nicolas Wu <nic...@co...> wrote:
> I've just come across an inconsistency in the CZT typechecker, and how
> it fits with the czt.sty file, with regards to mutually recursive free
> types.
>
> The typechecker allows the following code:
>
> \begin{zed}
> A ::= a | aa \ldata B \rdata &
> B ::= b | bb \ldata A \rdata
> \end{zed}
>
> However, this isn't LaTeX friendly, since '&' is used for alignment.
> The czt-guide.pdf document (Section 5.1, page 13), which documents
> czt.sty, claims that the LaTeX for the '&' should be '\&', which makes
> sense. However, using this breaks the typechecker, which reports:
>
> nwu@clpc181~/scrap$ java -jar czt_1_5_0_bin.jar Freetypes.tex
> 1 warnings and errors
> line 5 column 31 in "Freetypes.tex": Unknown latex command
>
> Is there a quick work around for this?
>
> Thanks,
>
> Nick
>
|
