Text this: Algebra for symbolic computation