X Definition

#Main Comment

#More comments

X:=proc() local q:

end:


Definitions     Theorems