An extension of ALGOL 60 with arbitrary data structures and user-defined operators, for symbolic mathematics.