\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