Subject: TeXhax Digest V90 #7 From: TeXhax Digest Errors-To: TeXhax-request@cs.washington.edu Maint-Path: TeXhax-request@cs.washington.edu To: TeXhax-Distribution-List:; Reply-To: TeXhax@cs.washington.edu 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 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 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 > 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" 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] 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 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 TD TCD 148 Chad ,Republic of CL CHL 152 Chile ,Republic of CN CHN 156 China ,People's Republic of 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 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 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 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 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 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 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 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 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 SB SLB 090 Solomon Islands (was British Solomon Islands) SO SOM 706 Somalia Somali Democratic Republic ZA ZAF 710 South Africa ,Republic of ES ESP 724 Spain Spanish State LK LKA 144 Sri Lanka ,Democratic Socialist Rep'c of 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 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 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) 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 % 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 ************************** -------