Text this: Advances in the design of symbolic computation systems