blob: ffdfbf6f8ed9bb05e2bb3e35a523775acf5a47f7 (
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
55
|
% astro.sty: LaTeX style option to load CMASTRO fonts and define the symbols
%
% NOTE: uses the old font selection scheme...
%
\input astro.tex
%
\def\astro{\protect\pastro}
%
\@addfontinfo\@vpt{%
\def\pastro{\fam\astrofam\fiveastro}\textfont\astrofam=\fiveastro
\scriptfont\astrofam=\fiveastro \scriptscriptfont\astrofam=\fiveastro}
%
\@addfontinfo\@vipt{%
\def\pastro{\fam\astrofam\sixastro}\textfont\astrofam=\sixastro
\scriptfont\astrofam=\fiveastro \scriptscriptfont\astrofam=\fiveastro}
%
\@addfontinfo\@viipt{%
\def\pastro{\fam\astrofam\sevenastro}\textfont\astrofam=\sevenastro
\scriptfont\astrofam=\fiveastro \scriptscriptfont\astrofam=\fiveastro}
%
\@addfontinfo\@viiipt{%
\def\pastro{\fam\astrofam\eightastro}\textfont\astrofam=\eightastro
\scriptfont\astrofam=\sixastro \scriptscriptfont\astrofam=\fiveastro}
%
\@addfontinfo\@ixpt{%
\def\pastro{\fam\astrofam\nineastro}\textfont\astrofam=\nineastro
\scriptfont\astrofam=\sevenastro \scriptscriptfont\astrofam=\fiveastro}
%
\@addfontinfo\@xpt{%
\def\pastro{\fam\astrofam\tenastro}\textfont\astrofam=\tenastro
\scriptfont\astrofam=\sevenastro \scriptscriptfont\astrofam=\fiveastro}
%
\@addfontinfo\@xipt{%
\def\pastro{\fam\astrofam\elevenastro}\textfont\astrofam=\elevenastro
\scriptfont\astrofam=\eightastro \scriptscriptfont\astrofam=\sixastro}
%
\@addfontinfo\@xiipt{%
\def\pastro{\fam\astrofam\twelveastro}\textfont\astrofam=\twelveastro
\scriptfont\astrofam=\eightastro \scriptscriptfont\astrofam=\sixastro}
%
\@addfontinfo\@xivpt{%
\def\pastro{\fam\astrofam\fourteenastro}\textfont\astrofam=\fourteenastro
\scriptfont\astrofam=\tenastro \scriptscriptfont\astrofam=\sevenastro}
%
\@addfontinfo\@xviipt{%
\def\pastro{\fam\astrofam\seventeenastro}\textfont\astrofam=\seventeenastro
\scriptfont\astrofam=\twelveastro \scriptscriptfont\astrofam=\eightastro}
%
\@addfontinfo\@xxpt{%
\def\pastro{\fam\astrofam\twentyastro}\textfont\astrofam=\twentyastro
\scriptfont\astrofam=\fourteenastro \scriptscriptfont\astrofam=\twelveastro}
%
\@addfontinfo\@xxvpt{%
\def\pastro{\fam\astrofam\twentyfiveastro}\textfont\astrofam=\twentyfiveastro
\scriptfont\astrofam=\seventeenastro \scriptscriptfont\astrofam=\fourteenastro}
|
