blob: 458ba45e0d2b53de9808faf62274bcd54737f0c4 (
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
|
\relax
This file renames some symbol
glyphs in accordance with the OMX encoding.
\metrics
\setcommand\rename#1#2{\ifisglyph{#1}\then
\setglyph{#2}
\glyph{#1}{1000}
\endsetglyph
\fi}
\rename{angbracketleftbig}{angleleftbig}%$ 10
\rename{angbracketrightbig}{anglerightbig}
\rename{vextendsingle}{barex}
\rename{vextenddouble}{bardblex}
\rename{angbracketleftbigg}{angleleftbigg}%$ 28
\rename{angbracketrightbigg}{anglerightbigg}
\rename{angbracketleftBigg}{angleleftBigg}%$ 42
\rename{angbracketrightBigg}{anglerightBigg}
\rename{angbracketleftBig}{angleleftBig}%$ 68
\rename{angbracketrightBig}{anglerightBig}
\rename{hatwidest}{hatwiderr}%$ 100
\rename{tildewidest}{tildewiderr}%$ 103
\rename{arrowvertexdbl}{arrowdblvertex}%$ 119
\endmetrics
|