summaryrefslogtreecommitdiff
path: root/fonts/cmastro/astro.sty
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
committerNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
commite0c6872cf40896c7be36b11dcc744620f10adf1d (patch)
tree60335e10d2f4354b0674ec22d7b53f0f8abee672 /fonts/cmastro/astro.sty
Initial commit
Diffstat (limited to 'fonts/cmastro/astro.sty')
-rw-r--r--fonts/cmastro/astro.sty55
1 files changed, 55 insertions, 0 deletions
diff --git a/fonts/cmastro/astro.sty b/fonts/cmastro/astro.sty
new file mode 100644
index 0000000000..ffdfbf6f8e
--- /dev/null
+++ b/fonts/cmastro/astro.sty
@@ -0,0 +1,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}