blob: ec51f9449b50b7cf10538b5160f96edcdcde3a72 (
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
|
\relax
This file renames harpoon-like glyphs in accordance with the OML encoding.
\metrics
%% example: \rename{arrowlefttophalf}{harpoonleftup}
\setcommand\rename#1#2{\ifisglyph{#1}\then
\setglyph{#2}
\glyph{#1}{1000}
\endsetglyph
\fi}
\rename{arrowlefttophalf}{harpoonleftup}
\rename{arrowleftbothalf}{harpoonleftdown}
\rename{arrowrighttophalf}{harpoonrightup}
\rename{arrowrightbothalf}{harpoonrightdown}
\rename{arrowhookleft}{hookrightchar}
\rename{arrowhookright}{hookleftchar}
\endmetrics
\setrawglyph{arrowlefttophalf}{cmmi10}{10pt}{40}{1000}{428}{-230}{0}
\setrawglyph{arrowleftbothalf}{cmmi10}{10pt}{41}{1000}{270}{-72}{0}
\setrawglyph{arrowrighttophalf}{cmmi10}{10pt}{42}{1000}{428}{-230}{0}
\setrawglyph{arrowrightbothalf}{cmmi10}{10pt}{43}{1000}{270}{-72}{0}
\setrawglyph{arrowhookleft}{cmmi10}{10pt}{44}{277}{464}{-230}{0}
\setrawglyph{arrowhookright}{cmmi10}{10pt}{45}{277}{464}{-230}{0}
\setslot{harpoonleftup}
\setslot{harpoonleftdown}
\setslot{harpoonrightup}
\setslot{harpoonrightdown}
\setslot{hookrightchar}
\setslot{hookleftchar}
|