Text this: Computer-human interaction in symbolic computation