X Definition
#Main Comment
#More comments
X:=proc() local q:
end:
Definitions
Theorems