Re: [CZT-Users] Custom LaTeX commands

[Petra M. <Pet...@ec...>]

Hi James,

> I'm writing a tool that utilises CZT's parser and type-checker, but
> I'm unsure how to make CZT recognise custom LaTeX commands.
> 
> For example, I define a new relation "mult":
> 
> \newcommand{\mult}{\textsf{mult}}
> %%prerel \mult

I don't think prerel is recognised in ISO Z.  You probably want
something like
%%Zpreword \mult mult

See the ISO Z Standard for a definition of these %%-thingies, or have a
look at one of the toolkit specifications for examples how they are used.
http://czt.svn.sourceforge.net/viewvc/czt/trunk/parser/src/main/resources/lib/relation_toolkit.tex?revision=4221&view=markup

Hope this helps,
Petra