SYMbolic ALgebra. A symbolic mathematics language with ALGOL-like syntax by Max Engeli, late 60's. Implemented for CDC 6600.