(
("*" "(* z1 z2 ...1)" "node10.htm" "definitionSTAR" "Languages")
("+" "(+ z1 z2 ...1)" "node10.htm" "definitionx" "Languages")
("/" "(/ z1 z2 ...1)" "node10.htm" "definitionx" "Languages")
(">" "(> x1 x2 ...1)" "node10.htm" "definitionxSPMgtx" "Languages")
(">=" "(>= x1 x2 ...1)" "node10.htm" "definitionxSPMgtxx" "Languages")
("<" "(< x1 x2 ...1)" "node10.htm" "definitionxSPMltx" "Languages")
("<=" "(<= x1 x2 ...1)" "node10.htm" "definitionxSPMltxx" "Languages")
("=" "(= z1 z2 ...1)" "node10.htm" "definitionx" "Languages")
("cons" "(cons v l)" "node10.htm" "definitioncons" "Languages")
)
