The Free On-line Dictionary of Computing (30 December 2018):

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)