TeXhax@cs.washington.edu (TeXhax Digest) (01/15/90)
TeXhax Digest Friday, January 12, 1990 Volume 90 : Issue 7
Moderators: Tiina Modisett and Pierre MacKay
%%% The TeXhax digest is brought to you as a service of the TeX Users Group %%%
%%% in cooperation with the UnixTeX distribution service at the %%%
%%% University of Washington %%%
Today's Topics:
where is vms decwindows previewer
Articles available on ftp
Font Naming, Planning, JOKEs
Re: patch to dvi2tty to make output more readable
Question about mathmode underbar
List of ISO Country Codes (somewhat outdate)
-----------------------------------------------------------------------------
Date: Thu, 4 Jan 90 14:17 PST
From: SHECTMAN@seti.llnl.gov
Subject: where is vms decwindows previewer
Keywords: previewer
I am trying to track down an ftp'able copy of the previewer
for VMS under DecWindows. A pointer to such a beastie was
in some message from 1989, a brief exerpt of which follows.
Score is now Labrea (more or less). Can anyone point to
which files (if any) at Labrea are the previewer for VMS
and DecWindows, or point to any other site which has it?
Thank you
Robert M. Shectman
shectman@icdc.llnl.gov
>
> DECUS TeX Collection
> Abstract
>
> The DECUS TeX Collection is based on the TeX Files stored at SCORE.-
>STANFORD.EDU and are available via ANONYMOUS FTP, plus additional
>material collected from sources across the world. Recipients of the DECUS
>VAX/VMS TeX distribution need not have the compilers, since executable
>versions of most programs are included on the tape.
> .
> .
> .
> [.TeX_SOURCE1] Contains the source code for everything in saveset
> [.TeX_SOURCE2] 2, plus additional material such as: UNIX Mate-
> rial, TeX and Screen Previewers for PCs, TeX and
> Previewer for MACINTOSH, GloTeX, previewers
> for VAXStations (Both VWS and DECWindows),
> LSE Templates for TeX/LaTeX and BibTeX, Trip
> and Trap Tests for TeX and METAFONT, and ad-
> ditional DVI Driver material including Postscript
> LaTeX material for VMS.
------------------------------------------------------------------------
Date: Thu, 4 Jan 90 00:41:05 EST
From: Allan Adler <ara@lom1.math.yale.edu>
Subject: Articles available on ftp
Keywords: TeX
I have typeset two of my articles with TeX and made them available in tar file
format for anonymous ftp in the directory pub/tex at the site
ceres.math.yale.edu . The articles are:
(1) Invariants of PSL_2(F_p) Acting on C^n$ for p=2n+/-1
(2) Cubic Invariants for SL_2(F_q)
I would be grateful for criticisms of the content or exposition of the
articles and also for suggestions as to how to improve the typesetting.
There are many things I would like to have typeset differently but didn't
know how. I would also be interested in knowing who might be interested in
my work, so please send me a note if you take a copy. I can receive email
at the following address:
ara@lom1.math.yale.edu
I plan to make more articles available as soon as they are typeset.
---------------------------------------------------------------------------
Date: Wed, 3 Jan 90 08:15:18 PST
From: wagman%praxis.hepnet@Csa2.LBL.Gov (Gary S. Wagman (415)486-6610)
Subject: Font Naming, Planning, JOKEs
Keywords: fonts
Greetings:
John Gourlay's suggested new name for the Modern fonts is well-timed and his
observation of "E" as the apparent next initial letter is astute. However,
"extended" is already a typographical term with other meanings. We would have
font EMBX10 or Extended Modern Bold Extended 10 point which is seemingly
redundant. Now, as far-sighted analysts, we should plan for future
developments and, knowing how DEK (if not everyone else) appreciates a JOKE,
I propose the following names adhering to the Gourlay Leap-frog Scheme which
should take us well into the next century. By then, the lion and lioness
will be in a rest home, computers will be obsolete, and most of us will be
relegated to that Great Volatile Memory in the sky.
The List:
Everlastingly Modern (or if there is dissension, Ever-so Modern)
Gloriously Modern (or Good-Enough Modern)
Invincibly Modern
Knuthian Modern (if not OK, Don, then Knowably Modern)
Managably Modern
Obviously Modern
Quaintly Modern
Simply Modern
Unbelievably Modern
Will-It-Ever-Be-Modern
Yet-Another Modern
Messages of Gratitude will be graciously accepted.
Gary Wagman
Lawrence Berkeley Lab
WAGMAN at LBL
WAGMAN@LBL.GOV
LBL::WAGMAN
--------------------------------------------------------------------------
Date: Wed, 3 Jan 90 10:11:28 -0500
From: Peter Marshall <peter@ria.ccs.uwo.ca>
Subject: Re: patch to dvi2tty to make output more readable
Keywords: general
> From ken@cs.rochester.edu Tue Jan 2 18:30:41 1990
> From: Ken Yap <ken@cs.rochester.edu>
> Uh, your patch makes "affluent" come out as "a- uent". I don't know
> which is the lesser evil. There really is no way around this unless
> dvi2tty is taught about symbol fonts.
>
> Your other patch was already in. I think you have an older version.
>
Woops. I guess that I don't write ffl things very often. Just not affluent
enough. But I'm sure to use piffle or muffler or baffle or one of the other
134 odd words that webster returns as having "ffl" in them. Thanks for
pointing out this obvious mistake. I thought that since I had been using
the program for 3 or 4 months that I would have noticed any obvious bugs like
this. I should have taken a better approach to debugging. Back to the
drawing board.
---------------------------------------------------------------------------
Date: Wed, 3 Jan 90 12:31:18 GMT
From: "D.Ballance" <gnma76%sun1.eng.glasgow.ac.uk@NSFnet-Relay.AC.UK>
Subject: Question about mathmode underbar
Keywords: TeX, LaTeX
In TeX and LaTeX there are normal mode accents for overbars (\=) and
for underbars (\b)i, however in mathmode there is a mathaccent for an
overbar (\bar) but no corresponding underbar (\ubar would be the obvious
name).
I have tried looking at the definitions of the different characters but
I'm not a TeXpert at TeXspeak so can't figure out how to define it.
Any help greatly appreciated
Thanks
Donald
Donald Ballance, JANET: gnma76@uk.ac.gla.eng.sun1 |
Control Group, BITNET: gnma76@sun1.eng.gla.ac.uk |
Dept. Mechanical Engineering, gnma76%sun1.eng.gla.ac.uk@ukacrl.bitnet |
The University, gnma76%sun1.eng.gla.ac.uk@ac.uk |
Glasgow. INTERNET: gnma76%sun1.eng.gla.ac.uk@cunyvm.cuny.edu |
G12 8QQ. gnma76%sun1.eng.gla.ac.uk@nsfnet-relay.ac.uk
-------------------------------------------------------------------------------
Date: Tue, 2 JAN 90 15:15:32 GMT
From: TEX%rmcs.cranfield.ac.uk@NSFnet-Relay.AC.UK
Subject: List of ISO Country Codes (somewhat outdated)
Keywords: TeX, country codes
Recent correspondence in the digests has addressed the standardization of
country codes to be used in conjunction with the nex TeX's \language command.
Quite rightly, the use of the international telephone dialling codes is a non-
starter because of the numerical range spanned, and another suggestion was to
use the ISO standard country codes, but correspondents have admitted to not
knowing these.
The following table was laboriously typed in by myself back in early
1982; I suspect that things may have changed since then, with the
addition/deletion of some countries, and the renaming of others. Some
of you will hate me for this, but the table contains hardware tab
characters!
However, it looks as though this coding scheme is also a non-starter; whilst
restricted to three digits, many values certainly exceed 255, so an eight-bit
coding is not achievable directly. There are, on the other hand, many unused
values, and there also appears to be no use of odd values: I no longer have
the standard to hand, so cannot say whether it mentions anything about the
raisons d,\^etre behind the choices of numbers. Perhaps some suitable hashing
algorithm can reduce the codes to eight-bits.
(One thing I have noticed is that the three LETTER codes in the standard seem
to have been ignored by the organizers of many international sporting events
such as the Olympics, who use, e.g. FRG for West Germany and URS for the USSR,
whilst the standard specifies DEU and SUN respectively. Anybody who happens
to be on the organizing committees please note!)
Brian {Hamilton Kelly}
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
+ JANET: tex@uk.ac.cranfield.rmcs +
+ BITNET: tex%uk.ac.cranfield.rmcs@ac.uk +
+ INTERNET: tex%uk.ac.cranfield.rmcs@nsfnet-relay.ac.uk +
+ UUCP: ...!mcvax!rmcs.cranfield.ac.uk!tex +
+ OR ...!ukc!rmcs.cranfield.ac.uk!tex +
+ Smail: School of Electrical Engineering & Science, Royal Military +
+ College of Science, Shrivenham, SWINDON SN6 8LA, U.K. +
+ Phone: Swindon (0793) 785252 (UK), +44-793-785252 (International) +
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
The following 'Codes for the representation of names of countries' are
specified in BS5374:1981 which is identical with ISO3166 - 1981
AF AFG 004 Afghanistan ,Democratic Republic of
AL ALB 008 Albania ,People's Socialist Republic of
DZ DZA 012 Algeria ,People's Democratic Republic of
AS ASM 016 American Samoa
AD AND 020 Andorra
AO AGO 024 Angola ,People's Republic of
AQ ATA 010 Antarctica {The territory South of 60deg S}
AG ATG 028 Antigua
AR ARG 032 Argentina Argentine Republic
AU AUS 036 Australia ,Commonwealth of
AT AUT 040 Austria ,Republic of
BS BHS 044 Bahamas ,Commonwealth of the
BH BHR 048 Bahrain ,State of
BD BGD 050 Bangladesh ,People's Republic of
BB BRB 052 Barbados
BE BEL 056 Belgium ,Kingdom of
BZ BLZ 084 Belize
BJ BEN 204 Benin (was Dahomey) ,People's Republic of
BM BMU 060 Bermuda
BT BTN 064 Bhutan ,Kingdom of
BO BOL 068 Bolivia ,Republic of
BW BWA 072 Botswana ,Republic of
BV BVT 074 Bouvet Island [Bouvetoya]
BR BRA 076 Brazil ,Federative Republic of
IO IOT 086 British Indian Ocean Territory [Chagos Archipelago]
<? ? 090 British Solomon Islands -see Solomon Islands>
VG VGB 092 British Virgin Islands
BN BRN 096 Brunei
BG BGR 100 Bulgaria ,People's Republic of
BU BUR 104 Burma ,Socialist Rep'c of the Union of
BI BDI 108 Burundi ,Republic of
BY BYS 112 Byelorussian SSR Soviet Socialist Republic
<? ? 116 Cambodia -see Kampuchea,Democratic>
CM CMR 120 Cameroon ,United Republic of
CA CAN 124 Canada
CT CTE 128 Canton & Enderbury Islands
CV CPV 132 Cape Verde ,Republic of
KY CYM 136 Cayman Islands
CF CAF 140 Central African Republic
<? ? 144 Ceylon -see Sri Lanka>
TD TCD 148 Chad ,Republic of
CL CHL 152 Chile ,Republic of
CN CHN 156 China ,People's Republic of
<? ? 158 China, Republic of -see Taiwan>
CX CXR 162 Christmas Island
CC CCK 166 Cocos (Keeling) Islands
CO COL 170 Colombia ,Republic of
KM COM 174 Comoros ,Federal and Islamic Republic of
CG COG 178 Congo ,People's Republic of
<? ? 180 Congo -see Zaire>
CK COK 184 Cook Islands
CR CRI 188 Costa Rica ,Republic of
CU CUB 192 Cuba ,Republic of
CY CYP 196 Cyprus ,Republic of
CS CSK 200 Czechoslovakia Czechoslovak Socialist Republic
<DY DHY 204 Dahomey -see Benin>
DK DNK 208 Denmark ,Kingdom of
DJ DJI 262 Djibouti ,Republic of
(was French Afars and Issas)
DM DMA 212 Dominica ,Commonwealth of
DO DOM 214 Dominican Republic
NQ ATN 216 Dronning Maud Land [par of Antarctica]
TP TMP 626 East Timor (was Portuguese Timor)
EC ECU 218 Ecuador ,Republic of
EG EGY 818 Egypt ,Arab Republic of
SV SLV 222 El Salvador ,Republic of
GQ GNQ 226 Equatorial Guinea ,Republic of
ET ETH 230 Ethiopia
FO FRO 234 Faeroe Islands
FK FLK 238 Falkland Islands [Malvinas]
FJ FJI 242 Fiji
FI FIN 246 Finland ,Republic of
FR FRA 250 France French Republic
GF GUF 254 French Guiana
PF PYF 258 French Polynesia
<AI AFI 262 French Afars and Issas -see Djibouti>
GA GAB 266 Gabon Gabonese Republic
GM GMB 270 Gambia ,Republic of the
DD DDR 278 German Democratic Republic
DE DEU 280 Germany ,Federal Republic of
GH GHA 288 Ghana ,Republic of
GI GIB 292 Gibraltar
<GE GEL 296 Gilbert & Ellice Islands-see Kiribati or Tuvalu>
GR GRC 300 Greece Hellenic Republic
GL GRL 304 Greenland
GD GRD 308 Grenada
GP GLP 312 Guadaloupe
GU GUM 316 Guam
GT GTM 320 Guatemala ,Republic of
GN GIN 324 Guinea ,Revolutionary People's Rep'c of
GW GNB 624 Guinea-Bissau ,Republic of
(was Portuguese Guinea)
GY GUY 328 Guyana ,Republic of
HT HTI 332 Haiti ,Republic of
HM HMD 334 Heard and McDonald Islands
<? ? 336 Holy See -see Vatican City State>
HN HND 340 Honduras ,Republic of
HK HKG 344 Hong Kong
HU HUN 348 Hungary Hungarian People's Republic
IS ISL 352 Iceland ,Republic of
IN IND 356 India ,Republic of
ID IDN 360 Indonesia ,Republic of
IR IRN 364 Iran ,Islamic Republic of
IQ IRQ 368 Iraq ,Republic of
IE IRL 372 Ireland
IL ISR 376 Israel ,State of
IT ITA 380 Italy Italian Republic
CI CIV 384 Ivory Coast ,Republic of the
JM JAM 388 Jamaica
JP JPN 392 Japan
JT JTN 396 Johnston Island
JO JOR 400 Jordan ,Hashemite Kingdom of
KH KHM 116 Kampuchea,Democratic (was Khmer Republic/Cambodia)
KE KEN 404 Kenya ,Republic of
KI KIR 296 Kiribati (was Gilbert Islands)
KP PRK 408 Korea, Democratic People's Republic of
KR KOR 410 Korea, Republic of
KW KWT 414 Kuwait ,State of
LA LAO 418 Lao People's Democratic Republic
LB LBN 422 Lebanon Lebanese Republic
LS LSO 426 Lesotho ,Kingdom of
LR LBR 430 Liberia ,Republic of
LY LBY 434 Libyan Arab Jamahiriya S'list P. Libyan Arab Jamahiriya
LI LIE 438 Liechtenstein ,Principality of
LU LUX 442 Luxembourg ,Grand Duchy of
MO MAC 446 Macau
MG MDG 450 Madagascar ,Democratic Republic of
MW MWI 454 Malawi ,Republic of
MY MYS 458 Malaysia
MV MDV 462 Maldives ,Republic of
ML MLI 466 Mali ,Republic of
MT MLT 470 Malta ,Republic of
MQ MTQ 474 Martinique
MR MRT 478 Mauritania ,Islamic Republic of
MU MUS 480 Mauritius
MX MEX 484 Mexico United Mexican States
MI MID 488 Midway Islands
MC MCO 492 Monaco ,Principality of
MN MNG 496 Mongolia Mongolian People's Republic
MS MSR 500 Montserrat
MA MAR 504 Morocco ,Kingdom of
MZ MOZ 508 Mozambique ,People's Republic of
<? ? 512 Muscat and Oman -see Oman>
NA NAM 516 Namibia
NR NRU 520 Nauru ,Republic of
NP NPL 524 Nepal ,Kingdom of
NL NLD 528 Netherlands ,Kingdom of the
AN ANT 532 Netherlands Antilles
NT NTZ 536 Neutral Zone {between Saudi Arabia & Iraq}
NC NCL 540 New Caledonia
<NH NHB 548 New Hebrides -see Vanuatu>
NZ NZL 554 New Zealand
NI NIC 558 Nicaragua ,Republic of
NE NER 562 Niger ,Republic of the
NG NGA 566 Nigeria ,Federal Republic of
NU NIU 570 Niue
NF NFK 574 Norfolk Island
NO NOR 578 Norway ,Kingdom of
OM OMN 512 Oman ,Sultanate of
PC PCI 582 Pacific Islands (trust territory)
PK PAK 586 Pakistan ,Islamic Republic of
PA PAN 590 Panama ,Republic of
PG PNG 598 Papua New Guinea
PY PRY 600 Paraguay ,Republic of
PE PER 604 Peru ,Republic of
PH PHL 608 Philippines ,Republic of the
PN PCN 612 Pitcairn Island
PL POL 616 Poland Polish People's Republic
PT PRT 620 Portugal Portuguese Republic
<? ? 624 Portuguese Guinea -see Guinea-Bissau>
<? ? 626 Portuguese Timor -see East Timor>
PR PRI 630 Puerto Rico
QA QAT 634 Qatar ,State of
RE REU 638 Reunion
RO ROM 642 Romania ,Socialist Republic of
RW RWA 646 Rwanda Rwandese Republic
SH SHN 654 St. Helena
KN KNA 658 St. Kitts-Nevis-Anguilla
LC LCA 662 Saint Lucia
PM SPM 666 St. Pierre and Miquelon
VC VCT 670 Saint Vincent and the Grenadines
WS WSM 882 Samoa ,Independent State of Western
SM SMR 674 San Marino ,Republic of
ST STP 678 Sao Tome and Principe ,Democratic Republic of
SA SAU 682 Saudi Arabia ,Kingdom of
SN SEN 686 Senegal ,Republic of
SC SYC 690 Seychelles ,Republic of
SL SLE 694 Sierra Leone ,Republic of
SG SGP 702 Singapore ,Republic of
<VD VDR 704 South Vietnam -see Vietnam>
SB SLB 090 Solomon Islands (was British Solomon Islands)
SO SOM 706 Somalia Somali Democratic Republic
ZA ZAF 710 South Africa ,Republic of
<RH RHO 716 Southern Rhodesia -see Zimbabwe>
<? ? 720 South Yemen -see Yemen, Democratic>
ES ESP 724 Spain Spanish State
LK LKA 144 Sri Lanka ,Democratic Socialist Rep'c of
<EH ESH 732 Spanish Sahara -see Western Sahara>
SD SDN 736 Sudan ,Democratic Republic of the
SR SUR 740 Suriname ,Republic of
SJ SJM 744 Svalbard & Jan Mayen Islands
SZ SWZ 748 Swaziland ,Kingdom of
SE SWE 752 Sweden ,Kingdom of
CH CHE 756 Switzerland Swiss Confederation
SY SYR 760 Syrian Arab Republic
TW TWN 158 Taiwan, Province of China
TZ TZA 834 Tanzania, United Republic of
TH THA 764 Thailand ,Kingdom of
TG TGO 768 Togo Togolese Republic
TK TKL 722 Tokelau [Tokelau Islands]
TO TON 776 Tonga ,Kingdom of
TT TTO 780 Trinidad and Tobago ,Republic of
<? ? 784 Trucial States -see United Arab Emirates>
TN TUN 788 Tunisia ,Republic of
TR TUR 792 Turkey ,Republic of
TC TCA 796 Turks and Caicos Islands
TV TUV 798 Tuvalu (was part of Gilbert & Ellice Islands)
UG UGA 800 Uganda ,Republic of
UA UKR 804 Ukrainian SSR Soviet Socialist Republic
AE ARE 784 United Arab Emirates
<? ? 818 United Arab Republic -see Egypt>
GB GBR 826 United Kingdom of Great Britain & N. Ireland
US USA 840 United States of America
PU PUS 849 US Miscellaneous Pacific Islands
VI VIR 850 US Virgin Islands
HV HVO 854 Upper Volta ,Republic of
UY URY 858 Uruguay ,Eastern Republic of
SU SUN 810 USSR Union of Soviet Socialist Rep'cs
VU VUT 548 Vanuatu (was New Hebrides)
VA VAT 336 Vatican City State (Holy See)
VE VEN 862 Venezuela ,Republic of
VN VNM 704 Viet Nam ,Socialist Republic of
(was Democratic Republic of & Republic of)
WK WAK 872 Wake Island
WF WLF 876 Wallis and Futuna Islands
EH ESH 732 Western Sahara (was Spanish Sahara)
<WS WSM 882 Western Samoa -see Samoa>
YE YEM 886 Yemen Yemen Arab Republic
YD YMD 720 Yemen, Democratic ,People's Democratic Republic of
YU YUG 890 Yugoslavia ,Socialist Federal Republic of
ZR ZAR 180 Zaire ,Republic of
ZM ZMB 894 Zambia ,Republic of
ZW ZWE 716 Zimbabwe (was Southern Rhodesia)
-----------------------------------------------------------------------
%%% Further information about the TeXhax Digest, the TeX
%%% Users Group, and the latest software versions is available
%%% in every tenth issue of the TeXhax Digest.
%%%
%%% Concerning subscriptions, address changes, unsubscribing:
%%%
%%% BITNET: send a one-line mail message to LISTSERV@xxx
%%% SUBSCRIBE TEX-L <your name> % to subscribe
%%% or UNSUBSCRIBE TEX-L
%%%
%%% Internet: send a similar one line mail message to
%%% TeXhax-request@cs.washington.edu
%%% JANET users may choose to use
%%% texhax-request@uk.ac.nsf
%%% All submissions to: TeXhax@cs.washington.edu
%%%
%%% Back issues available for FTPing as:
%%% machine: directory: filename:
%%% JUNE.CS.WASHINGTON.EDU TeXhax/TeXhaxyy.nn
%%% yy = last two digits of current year
%%% nn = issue number
%%%
%%%\bye
%%%
End of TeXhax Digest
**************************
-------