[CZT-Users] Trouble defining a Pre-Operator

[Frank D. <fr...@do...>]

I am in transition from ZRM/fuzz to ISO-Z/czt (typechecker) and
experience some difficulties in defining my own operators. I use
LaTeX-Files as source. Here is my example:

\newcommand{\dsum}{\zpreop{\Sigma}}
%%Zprechar \dsum U+03A3
\begin{zed}
  \function (\dsum~\varg)
\end{zed}

\begin{gendef}[I]
  \dsum : (I \ffun \arithmos) \fun \arithmos
  \where
  ...
\end{gendef}

LaTeX compiles succesfully, but the typechecker reports on the first
line in the generic definition (\dsum : (I \ffun ...):

"Σ is declared as an operator, and cannot be used as a declaration
name"

I have used a similar setup for infix operators which eventually
worked after a lot of experiments. I have tried different characters
for \dsum and even the word "SUM", but the problem remains.

Thanks in advance for help
Frank



-- 
Frank Dordowsky
Säntisstr. 37
81825 München