The Free On-line Dictionary of Computing (19 January 2023):

Symbolic Mathematical Laboratory

    An on-line system under CTSS for
   symbolic mathematics.  It used a display screen and a
   light pen.

   [Sammet 1969, p.514].

   (1995-04-16)