Re: Too narrowly defined: DIVISION SIGN & COLON

2D <BEE70F00-1C53-4D0C-8954-A94EC478FC32_at_telia.com> <380C6AB8-D40B-4D9D-AF48-D01AFAB862BD_at_evertype.com>
To: Michael Everson <everson_at_evertype.com>
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 <http://ctan.org/> and make a search <http://ctan.org/search/>. However, with the TeX Live package <http://www.tug.org/texlive/> 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 <http://www.tug.org/mactex/2012/>, 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
where
  # Add to beginning of searchpath:
prepend_path()
{
  if ! eval test -z "\"\${$1##*:$2:*}\"" -o -z "\"\${$1%%*:$2}\"" -o -z "\"\${$1##$2:*}\"" -o -z "\"\${$1##$2}\"" ; then
    eval "$1=$2:\$$1"
  fi
}

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 <http://arxiv.org/>.
>>
>>> 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.

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