From: James W. <jw...@cs...> - 2010-02-16 13:55:30
|
Thanks to both Petra and Tim for their quick response. I've managed to get that working now, thanks very much :) I'll have to stop using fuzz from now on! Kind regards, James On 16 Feb 2010, at 03:33, Tim Miller wrote: > Hi James, > > You wrote: >> I get an "Unknown latex command \mult" exception when this is parsed. How can I make CZT recognise these custom commands? >> > There are two steps that you will have to take. > > The first is related to the unicode character/word that the command represents. The CZT scanner/parser only accepts unicode as input, so latex specifications are translated into unicode first. In conforming with the Z standard, each latex command must be accompanied with a corresponding unicode character or word. Your command appears to be a prefix word, so would be declared using: > > %%Zpreword \mult mult > > in which "mult" is the unicode word. > > The second is related to the parser. As specified in the Z standard, the format of user-defined operators must be declared using operator templates. In your example, this would be: > > \begin{zed} > \generic (\mult \_) > \end{zed} > > With any luck, this should parse for you now. > > Regards, > Tim |