1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
|
From: owner-TeXhax@nottingham.ac.uk
To: TeXhax Distribution: ;
Subject: TeXhax Digest V95 #09
Reply-To: TeXhax@tex.ac.uk
Errors-To: owner-TeXhax@nottingham.ac.uk
Distribution: world
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-ID: <3343.799408776.1@unicorn.ccc.nottingham.ac.uk>
Date: Tue, 02 May 1995 10:59:39 +0100
Message-ID: <3344.799408779@unicorn.ccc.nottingham.ac.uk>
Sender: cczdao@unicorn.ccc.nottingham.ac.uk
TeXhax Digest Tuesday, 2 May 1995 Volume 95 : Issue 09
(incorporating UKTeX Digest)
Today's Topics:
Re: Czech characters
Best way to colorize a crest?
smallcaps and oldnumerals in Lucida B expert package
Smaller displaystyle \int?
Macros for Formal Proofs
amsfonts package
modes.mf 2.3 available
Administrivia:
Moderators: David Osborne and Peter Abbott
Contributions: TeXhax@tex.ac.uk
Subscription and unsubscription requests: TeXhax-request@tex.ac.uk
(message body = "subscribe texhax" or "unsubscribe texhax", [no quotes])
----------------------------------------------------------------------
Date: Tue, 04 Apr 1995 18:34:22 +0200
From: Petr Sojka <sojka@daeron.ics.muni.cz>
Subject: Re: Czech characters
: From: Andre HECK <heck@cdsxb6.u-strasbg.fr>
:
: Could anyone tell me where I could find a macro for producing
: u with a small circle on top?
The TeX way is \accent23u
The LaTeX[2e] syntax is \r{u}
Yours
Petr Sojka <sojka@muni.cz>
: Many thanks in advance.
: A. Heck (heck@astro.u-strasbg.fr)
------------------------------
Date: Fri, 07 Apr 1995 09:47:05 -0000
From: "John M. Simmie, University College, Galway, Ireland"
<John.Simmie@UCG.IE>
Subject: Best way to colorize a crest?
We have our college crest in pk files eg dpi300
from which it is available in various sizes via command e.g. \crest4
in glorious black&white ...
What is the best way to "colorize" (sorry can't think of acceptable
alternative) it?
Regards, John
-------------------------------------------------
Dr. John M. Simmie
Chemistry Department Roinn na Ceimice
University College Col=E1iste na hOllscoile
Galway Gaillimh
Ireland Eire
Fax: (+353)-91-25700 F=F3n:(+353)-91-50388
-------------------------------------------------
------------------------------
Date: Sat, 15 Apr 1995 08:54:47 -0500
From: sila@pele.repoc.nwu.edu (Sanchez)
Subject: smallcaps and oldnumerals in Lucida B expert package
Hello, I bought the full Lucida Bright font package from Y&Y, including
the expert fonts (boldmath, smallcaps and text figures). I changed their
names to the Berry scheme in order to use Mr. Rahtz metric files in CTAN.
I needed to do this since I needed T1 encoding as I write mostly in
spanish nowdays. In a note about the lucbr package Mr. Rahtz points out
that "support for the expert package has been added specially for the
boldmath fonts". However, it seems that only support for boldmath was
added as the smallcaps and oldnumerals are still derived from the caps
and titling figures (and hence look lighter).
Has any created the necesary virtual fonts and metric files to take care
of this?
Victor Sanchez
Universidad Tecnologica de Panama
------------------------------
Date: Thu, 20 Apr 1995 16:29:22 +0100
From: Martin.Ward@durham.ac.uk (Martin Ward)
Subject: Smaller displaystyle \int?
A collegue is writing an integration theory book using plain tex
at \magstep1. She wants the integral sign to be slightly smaller
in displaystyle -- about the size of a \magstep0 or \magstephalf
displaystyle \int. Is there an easy way to achieve this?
Would LaTeX2e give a better/simpler solution?
Thanks!
Martin.
JANET: Martin.Ward@uk.ac.durham Internet (eg US): Martin.Ward@durham.ac.uk
or if that fails: Martin.Ward%uk.ac.durham@nsfnet-relay.ac.uk
or even: Martin.Ward%DURHAM.AC.UK@CUNYVM.CUNY.EDU
BITNET: Martin.Ward%durham.ac.uk@UKACRL UUCP:...!uknet!durham!Martin.Ward
------------------------------
Date: Sun, 23 Apr 1995 20:38:25 +0000
From: Dominic Steinitz <dominic@geneva.demon.co.uk>
Subject: Macros for Formal Proofs
Are there any macros for presenting formal proofs in propositional and
predicate calculus? If so, where are they to be found?
Dom.
- --
Dominic Steinitz dominic@geneva.demon.co.uk
------------------------------
Date: Mon, 01 May 1995 12:16:15 +0100
From: "K.Lockyear" <K.Lockyear@soton.ac.uk>
Subject: amsfonts package
I have recently downloaded the amsfonts package (2.2) from the Cambridge
CTAN. I installed the package as per instructions on my system.
However, when I try to create the manual (using plain tex as per
instructions) or to use the fonts, I get the error message:
Bad font metric (tfm) file .....
Before I try to recreate the tfms from the source files has anyone any
bright ideas what might be wrong.
I am using emTeX (tex386), with the December 1994 version of latex2e as
supplied by the UKTUG.
Could respondents mail me direct as well as to the list as I get TexHax
in digest format rather infrequently.
Cheers, Kris Lockyear
wom@soton.ac.uk
------------------------------
Date: Sun, 16 Apr 1995 07:55:41 -0400
From: "K. Berry" <kb@cs.umb.edu>
Subject: modes.mf 2.3 available
I have released version 2.3 of modes.mf. You can get it by anonymous ftp from
ftp.cs.umb.edu:pub/tex/modes.mf
and shortly from ftp.cdrom.com:pub/tex/modes.mf and the ctan sites in
/tex-archive/fonts/modes/modes-2.3.mf. finger ctan@ftp.shsu.edu for a
list of all the CTAN sites and mirrors.
You can also get it by email if you cannot ftp: email fileserv@shsu.edu
with a body of `sendme modes'.
News:
* New modes for the Epson Stylus (epstylus) and the 800dpi Apple
LaserWriter 810 (lwpro).
* Updated the config.ps example for the SparcPrinter.
As always, thanks to the contributors.
General information:
It's generally of no use to mail me about devices not in modes.mf;
everything I know about is already included. It also includes lots of
text about how to create a new mode_def, etc.
modes.mf is a collection of Metafont mode_def's. It also makes common
definitions for write/white printers, `special' information, and
landscape mode. It uses up too much memory for the table sizes in the
original mf.web, so you either have to increase the sizes (as in Web2c)
or rename the file and remove unneeded modes. I can't decipher mf.web
well enough to understand how to make the modes use less memory; if some
Metafont hacker can tell me, I'd very much like to hear it.
If you have mode_def's which are not listed below, or corrections to the
existing ones, please send them to me. Improvements to the exposition,
particularly in how to create a new mode_def, are also welcome.
kb@cs.umb.edu
mode_def agfafzz = % AGFA 400PS
mode_def amiga = % Commodore Amiga
mode_def aps = % Autologic APS-Micro5
mode_def apssixhi = % Autologic APS-Micro6
mode_def atariezf = % Atari ST SLM 804 printer
mode_def atarinf = % Atari 95dpi previewer
mode_def atarins = % Atari 96x96 previewer
mode_def atariotf = % Atari ST SM 124 screen
mode_def bitgraph = % BBN Bitgraph at 118dpi
mode_def bjtenex = % Canon BubbleJet 10ex
mode_def boise = % HP 2680A
mode_def canonex = % CanonEX in LaserWriter Pro 630
mode_def canonlbp = % e.g., Symbolics LGP-10
mode_def cg = % Compugraphic 8600
mode_def cgl = % Compugraphic 8600 landscape
mode_def cgnszz = % Compugraphic 9600
mode_def crs = % Alphatype CRS
mode_def cx = % Canon CX, SX, LBP-LX
mode_def datadisc = % DataDisc
mode_def newdd = % DataDisc with special aspect ratio
mode_def declarge = % DEC 19-inch, 1280 x 1024
mode_def decsmall = % DEC 17-inch, 1024 x 768
mode_def deskjet = % HP DeskJet 500
mode_def docutech = % Xerox 8790 or 4045
mode_def dover = % Xerox Dover
mode_def epsdrft = % Epson at 120x72dpi
mode_def epsdrftl = % Epson at 120x72dpi landscape
mode_def epsfast = % Epson at 60x72dpi
mode_def epsfastl = % Epson at 60x72dpi landscape
mode_def epson = % 9-pin Epson MX/FX family
mode_def epsonl = % 9-pin Epson MX/FX family landscape
mode_def epsonact = % Epson Action Laser 1500
mode_def epsonlo = % Epson at 120x216dpi
mode_def epsonlol = % Epson at 120x216dpi landscape
mode_def epstylus = % Epson Stylus
mode_def gtfax = % 204 x 196dpi G3fax
mode_def gtfaxl = % 204 x 196dpi G3fax landscape
mode_def gtfaxlo = % 204 x 98dpi G3fax
mode_def gtfaxlol = % 204 x 98dpi G3fax landscape
mode_def hprugged = % HP RuggedWriter 480
mode_def ibm_a = % IBM 38xx (\#1)
mode_def ibmd = % IBM 38xx (\#2)
mode_def ibmega = % IBM EGA monitor
mode_def ibmegal = % IBM EGA monitor landscape
mode_def ibmfzon = % IBM 4019
mode_def ibmfztn = % IBM 4029-30, 4250
mode_def ibmpp = % IBM ProPrinter
mode_def ibmppl = % IBM ProPrinter landscape
mode_def ibmsoff = % IBM 6154 display
mode_def sherpa = % IBM 6670 (Sherpa)
mode_def ibmteot = % IBM 3812
mode_def ibmtetz = % IBM 3820
mode_def ibmtont = % IBM 3193 screen
mode_def ibmtosn = % IBM 3179 screen
mode_def ibmtosnl = % IBM 3179 screen landscape
mode_def ibmvga = % IBM VGA monitor
mode_def ibx = % Chelgraph IBX
mode_def itoh = % CItoh 8510A
mode_def itohl = % CItoh 8510A landscape
mode_def itohtoz = % CItoh 310
mode_def itohtozl = % CItoh 310 landscape
mode_def iw = % Apple ImageWriter
mode_def jetiiisi = % HP Laser Jet IIISi
mode_def lasf = % DEC LA75
mode_def linolo = % Linotype Linotronic [13]00 at 635dpi
mode_def linoone = % Linotype Linotronic [13]00 at 1270dpi
mode_def linotzzh = % Linotype Linotronic 300 at 2540dpi
mode_def ljfour = % 600dpi HP LaserJet 4
mode_def ljlo = % HP LaserJet at 150dpi
mode_def lmaster = % 1000dpi LaserMaster
mode_def lnzo = % DEC LN01
mode_def lps = % DEC LPS40
mode_def lpstz = % DEC lps20
mode_def lqlores = % Epson LQ-500, 180x180dpi
mode_def lqmed = % Epson LQ-500, 360x180dpi
mode_def lqmedl = % Epson LQ-500, 360x180dpi landscape
mode_def lview = % Sigma L-View monitor
mode_def lwpro = % Apple LaserWriterPro 810
mode_def macmag = % Mac screens at magstep 1
mode_def mactrue = % Mac screens at 72dpi
mode_def ncd = % NCD 19-inch
mode_def nec = % NEC
mode_def nechi = % NEC-P6 at 360x360dpi
mode_def nexthi = % NeXT 400dpi, Newgen
mode_def nextscrn = % 100dpi NeXT monitor
mode_def nullmode = % TFM files only
mode_def ocessfz = % OCE 6750-PS
mode_def okidata = % Okidata
mode_def okidatal = % Okidata landscape
mode_def pcscreen = % also, e.g., high-resolution Suns
mode_def phaser = % Tektronix Phaser PXi
mode_def prntware = % Printware 720IQ
mode_def qms = % QMS (Xerox engine)
mode_def qmsostf = % QMS 1725
mode_def qmsoszz = % QMS 1700
mode_def ricoh = % e.g., TI Omnilaser
mode_def ricoha = % e.g., IBM 4216
mode_def ricohlp = % e.g., DEC LN03
mode_def sparcptr = % Sun SPARCprinter
mode_def starnlt = % Star NL-10
mode_def starnltl = % Star NL-10 landscape
mode_def sun = % Sun and BBN Bitgraph at 85dpi
mode_def supre = % Ultre*setter at 2400dpi
mode_def toshiba = % Toshiba 13XX, EpsonLQ
mode_def ultre = % Ultre*setter at 1200dpi
mode_def vs = % VAXstation monitor
mode_def vtftzz = % Varityper 4200 B-P
mode_def vtftzzhi = % Varityper 4300P at 2400dpi
mode_def vtftzzlo = % Varityper 4300P at 1200dpi
mode_def vtfzszw = % Varitype 5060W, APS 6
mode_def vtszz = % Varityper Laser 600
mode_def xrxesnz = % Xerox 8790 or 4045
mode_def xrxfzfz = % Xerox 4050/4075/4090/4700
mode_def xrxnszz = % Xerox 9700
mode_def xrxtszz = % Xerox 3700
------------------------------
About TeXhax...
Please send contributions to: TeXhax@tex.ac.uk
Subscription and unsubscription requests:
send a one line mail message to TeXhax-Request@tex.ac.uk
containing either subscribe texhax
or unsubscribe texhax
To obtain the Frequently Asked Questions (FAQ) lists for TeX, send a
message with no subject to fileserv@shsu.edu, consisting of
SENDME FAQ
For information on the TeX Users Group, please send a message to
TUG@TUG.org, or write TeX Users Group, P.O. Box 869, Santa Barbara,
CA 93102, USA.
Backnumbers of all the digests are stored in the Comprehensive TeX
Archive Network (CTAN) and can be retrieved on the Internet by
anonymous ftp. The hosts comprising CTAN include
ftp.dante.de (129.69.1.12) -- Germany
ftp.shsu.edu (192.92.115.10) -- USA
ftp.tex.ac.uk (128.232.1.87) -- UK
TeXhax Digest issues are filed below /tex-archive/digests/texhax/
Keyword-In-Context Indexes are filed in /tex-archive/digests/indexes/
A Hypermail version of TeXhax is also available on the World-Wide Web at URL
http://www.tex.ac.uk/tex-archive/digests/hyper/
Please use your nearest server, to keep network load down.
The file /tex-archive/CTAN.sites on each of these hosts gives a
list of other sites which maintain full or partial mirrors of the CTAN.
Alternatively, finger ctan_us@ftp.shsu.edu for full details.
\bye
End of TeXhax Digest [Volume 95 Issue 9]
****************************************
|