Next:Semantics Up:Natural Commands Previous:Examples Contents

The syntax of the command

The command follow the following grammar:

$\begin{displaymath} \begin{array}{lclr} \hbox{\it cmd } &:=& \hbox{\tt let } \hb... ...im} and \hbox{\tt apply} commands in the appendix}} \end{array}\end{displaymath}$

Note: In the current implementation, only trivial is allowed after show. Naming using square brackets wont work if the opening square bracket is defined as a prefix symbol.

Christophe Raffalli 2005-03-02