blob: f676e6e541f198448fd5316eb88c00d1398c45d7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
%==================================================================
% 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
|
