Interpreting Tex into Plaintext