From e0c6872cf40896c7be36b11dcc744620f10adf1d Mon Sep 17 00:00:00 2001 From: Norbert Preining 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