Text this: Mathematical SETI