Symbolic Mathematical Laboratory tool, mathematics 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)