Re: Too narrowly defined: DIVISION SIGN & COLON

From: Hans Aberg <>
Date: Fri, 13 Jul 2012 12:56:42 +0200

2D <> <>
To: Michael Everson <>
X-Mailer: Apple Mail (2.1278)

On 13 Jul 2012, at 10:57, Michael Everson wrote:

> On 13 Jul 2012, at 09:49, Hans Aberg wrote:
>>> Local documents on your computer don't do me any good.
>> FYI, in the TeX world, one can go in on CTAN <> and make a search <>. However, with the TeX Live package <> installed, that is rarely needed.
> I have lived in the Mac world since 1985. :-)

Well, I had a Mac Plus. :-)

There is a Mac installer <>, which is what I used. I have added in ~/.profile:
  # Prepend MacTeX paths
  prepend_path PATH /usr/local/texlive/2012/bin/x86_64-darwin
  prepend_path MANPATH /usr/local/texlive/2012/texmf/doc/man
  prepend_path INFOPATH /usr/local/texlive/2012/texmf/doc/info
  # Add to beginning of searchpath:
  if ! eval test -z "\"\${$1##*:$2:*}\"" -o -z "\"\${$1%%*:$2}\"" -o -z "\"\${$1##$2:*}\"" -o -z "\"\${$1##$2}\"" ; then
    eval "$1=$2:\$$1"

This makes an amazing number of programs available.

>>> But what I meant was "Is it in print in the real world?" Not just in TeX documentation.
>> It is possible to publish electronically these days. Some journals may, I am told, when a paper is accepted, just publish the link to <>.
>>> Still it might be interesting to see the symbols-a4.pdf.
>> So these characters may be well established, even if existing in electronic form.
> That document is 164 pages long. I would be interested in examining it after someone else has done the background work of a first pass at identifying which characters are already encoded. This is sort of an emoji/wingdings/webdings scenario, I guess.

Yes, it must be those well acquainted with it doing the work. When I posted requests for missing math characters around 1999-2000, there were only a few responses. So this stuff must have become popular in the last decade or so.

Received on Fri Jul 13 2012 - 05:59:33 CDT

This archive was generated by hypermail 2.2.0 : Fri Jul 13 2012 - 05:59:34 CDT