2D <[email protected]> 
<[email protected]>
To: Michael Everson <[email protected]>
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




Reply via email to