diff options
author | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
commit | e0c6872cf40896c7be36b11dcc744620f10adf1d (patch) | |
tree | 60335e10d2f4354b0674ec22d7b53f0f8abee672 /fonts/apl/aplstyle.sty |
Initial commit
Diffstat (limited to 'fonts/apl/aplstyle.sty')
-rw-r--r-- | fonts/apl/aplstyle.sty | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/fonts/apl/aplstyle.sty b/fonts/apl/aplstyle.sty new file mode 100644 index 0000000000..1a744df218 --- /dev/null +++ b/fonts/apl/aplstyle.sty @@ -0,0 +1,35 @@ + +%================================================================== +% A P L S T Y L E +%================================================================== +% A.Hohti/O.Kanerva University of Helsinki April 6 1987 +% revised August 19 1987 +% +% APL symbols are represented by the Digital (VAX) APL +% replacement symbols. The standard escape character is +% changed to "@" (at sign) in accordance with the usage +% in Digital APL. +% +\font\apl=cmapl10 % The APL font of typewriter type +% +% +% The following macro \choosett switches the typewriter-like +% font used within verbatim: +% +\def\ifundefined#1{\expandafter\ifx\csname#1\endcsname\relax} +\newif\ifapl \def\aplname{apl} +\outer\def\choosett#1{\ifundefined{#1}% + \message{Undefined font(?), replaced with cmtt10}% + \let\tt=\tentt + \else + \def\tt{\expandafter\csname#1\endcsname}% + \def\ttname{#1}% + \ifx\ttname\aplname\apltrue\else\aplfalse\fi\fi} +% +\choosett{tentt} % default value +% +\input versatim % a slightly modified version of verbatim +\input apldef % control sequences for APL symbols + + + |