Maxima
More about notation.
Dictionary Home