On Mon, May 1, 2017 at 3:24 PM Jay Carlson <email@example.com
On Apr 30, 2017, at 11:45 AM, Luiz Henrique de Figueiredo <firstname.lastname@example.org> wrote:
> The token filter below can be used with my ltokenp to convert
> fct = Î» (a,b,c) â†’ 10*(10*a+b)+c â–ª
I think your local mail system, your terminal program, and/or your editor are having a fight about whether they are in UTF-8 or not. That looks a lot like UTF-8 misinterpreted as ISO-8859-1. And from the mail headers:
| Content-Type: text/plain; charset=iso-8859-1
I suspect this is Mutt being foolish, as well as wrong.
Interesting. Luiz's message displays correctly for me in both the regular Gmail web interface and the Inbox by Gmail web interface. Something weird is going on here.