From e0c6872cf40896c7be36b11dcc744620f10adf1d Mon Sep 17 00:00:00 2001
From: Norbert Preining <norbert@preining.info>
Date: Mon, 2 Sep 2019 13:46:59 +0900
Subject: Initial commit

---
 fonts/cmastro/astro.sty | 55 +++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 55 insertions(+)
 create mode 100644 fonts/cmastro/astro.sty

(limited to 'fonts/cmastro/astro.sty')

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}
-- 
cgit v1.2.3

