Compound terms are formed from a functor, followed by open-brackets, an argument list, then closing brackets; for example:
foo(1 2 3)
Certain functors are infix: terms with two arguments can be separated by the functor or functor symbol. PXL pre-defines certain infix functors, see the operators section
For example:
X+Y a/b