From: Hans Aberg (email@example.com)
Date: Thu Oct 18 2007 - 12:37:50 CDT
On 18 Oct 2007, at 15:44, Doug Ewell wrote:
>> Anyway, a list of emoticons, collected from some email program
> I'm almost afraid to check and see how many of these are in the
> Emoji proposal.
Yeah, it was just a FYI :-). (And the "big boy" emoticon seems
BTW, the only "official" (whatever that means) Internet emoticon
defined, I think was the ":-)", and I thought it originally meant
"please don't be offended by this" or something, and not as a
substitute for the markup <joke>...</joke>. :-)
Knuth in his "TeX Book" pointed out that one can also use
Joke 3.4.7. ...
And a truly dedicated mathematician will add:
Proof. ... ∎
This archive was generated by hypermail 2.1.5 : Thu Oct 18 2007 - 12:41:30 CDT