Text this: Nets, Terms and Formulas