Re: [CZT-Users] Custom LaTeX commands

[James W. <jw...@cs...>]

Hi there,

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

\begin{gendef}[X, Y]
	\mult \_ : \power (........)
\where
	.....
\end{gendef}

I get an "Unknown latex command \mult" exception when this is parsed. How can I make CZT recognise these custom commands?

Any help is much appreciated.

Kind regards,

James Williams