%================================================================== % 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