blob: 7faae08b65746a7d63af2c57313e7c32f291e7ad (
plain)
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
|
The ESRELATION package
======================
by Byron Cook, Tauba Auerbach, David Reinfurt
About
-----
The program termination problem, also known at the uniform halting problem, can be defined as: *Using a finite amount of time: determine whether a given program will always finish running or could possibly execute forever.*
The Metafont programming and LaTeX package writing and TeX macro programming (*especially the TeX macro programming*) required to produce these symbols looked like it might, itself, never end. It took more than a year of work in fits and starts to understand how the jalopy of bits and pieces go together to make a font work with LaTeX. [The Comprehensive LaTeXe Symbol List](http://www.ctan.org/tex-archive/info/symbols/comprehensive/ "CTAN") does not currently include this set, but on completion all of these files will be ready to upload in the correct formats for inclusion. These are implemented as a standard TeX math symbol font, implemented with custom Metafont sources, rendered on-the-fly as needed by LaTeX. Also provided in this package is a PostScript Type-1 version of the font. Symbols are accessed through macros defined in this package.
Installation
------------
+ run latex on esrelation.ins to generate sty, mf, fd files
> $ latex esrelation.ins
+ run latex (or pdflatex) on esrelation.dtx to generate documentation (including detailed installation instructions)
> $ pdflatex esrelation.dtx
+ determine the location of your local TeX tree by running
> $ kpsewhich --var-val TEXMFLOCAL
(this value will henceforth be referred to as ‘TEXMFLOCAL’)
+ install esrelation.sty and uesrelation.fd in
> TEXMFLOCAL/tex/latex/esrelation
+ install esrelation.mf and esrelation10.mf in
> TEXMFLOCAL/fonts/source/public/esrelation
+ install esrelation10.pfb in
> TEXMFLOCAL/fonts/type1/public/esrelation
+ install esrelation.map in
> TEXMFLOCAL/fonts/map/dvips/esrelation
**NB**: all created directories should be set to mode 755 and all of the above files should be set to mode 644.
+ update LaTeX font database
> $ sudo -H mktexlsr
+ update TeX font map
> $ sudo -H updmap-sys --enable Map=esrelation.map
+ udpate the font database again
> $ sudo -H mktexlsr
Resources
---------
Up-to-date source code is hosted on [GitHub](https://github.com/reinfurt/ESRELATION).
More information about installing TeX fonts can be found [here](https://www.tug.org/fonts/fontinstall.html).
|
