blob: 9c952bb99189db95276629b3b4c73a72f7b27f5f (
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
38
39
40
41
|
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%
%% This is the file newrmtmi.mtx, part of the MathInst package
%% (version 1.0, August, 1998) for math font
%% generation. (Author: Alan Hoenig, ajhjj@cunyvm.cuny.edu)
%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\relax
We need to rename some MathTime glyphs safely.
\metrics
\setcommand\renameas#1#2{%
\ifisglyph{#1}\then
\resetglyph{#2}
\glyph{#1}{1000}
\endresetglyph
\fi
}
\renameas{arrowlefttophalf}{harpoonleftup}
\renameas{arrowleftbothalf}{harpoonleftdown}
\renameas{arrowrighttophalf}{harpoonrightup}
\renameas{arrowrightbothalf}{harpoonrightdown}
\renameas{arrowhookleft}{hookrightchar}
\renameas{arrowhookright}{hookleftchar}
\renameas{kappa1}{varkappa}
%% We want to unset the dotless glyphs, and recover/construct
%% the dotlessi and dotlessj glyphs appropriate for the current font.
\unsetglyph{dotlessi} % part of 8r encoding; this glyph normally present in
% T1 fonts
\unsetglyph{dotlessj} % comment this line out if the MathTime dotlessj
% is OK for your needs.
\endmetrics
|