blob: dcfd29d2092d5bf5ff9cff78c83f96576006428d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
% todo
\unprotect
\writestatus\m!system{loading some mkii compatibility hacks}
% Compatibility for font-ini
\let\normalxi=\xi
\definebodyfontswitch [xii] [\!!twelvepoint]
\definebodyfontswitch [xi] [\!!elevenpoint]
\definebodyfontswitch [x] [\!!tenpoint]
\definebodyfontswitch [ix] [\!!ninepoint]
\definebodyfontswitch [viii] [\!!eightpoint]
\definebodyfontswitch [vii] [\!!sevenpoint]
\definebodyfontswitch [vi] [\!!sixpoint]
\unexpanded\def\xi{\ifmmode\normalxi\else\elevenpoint\fi}
\protect \endinput
|