From: Michael Everson (email@example.com)
Date: Mon Sep 05 2005 - 17:12:35 CDT
At 14:55 -0700 2005-09-05, John Hudson wrote:
>So, do these communities use it in TeX? Patrick was presumably
>asking whether they use it at all.
I don't know, John. TeX developers saw fit to create the character
and name it, and put it into their implementations.
Sometimes we add characters because they HAVE been used. Sometimes we
add characters so that they CAN be used. I don't have any problem
with this. Some people do.
-- Michael Everson * http://www.evertype.com
This archive was generated by hypermail 2.1.5 : Mon Sep 05 2005 - 17:21:15 CDT