Text this: Mathematical interpretation of formal systems