fontinst/mathptm: bug in OMX.etx

[Ulrik Vieth <vieth@thphy.uni-duesseldorf.de>]

While experimenting with a mathptm-like implementation using the
symbol fonts shipped with Mathematica 3.0, I've found a bug in the 
OMX encoding vector that produces the wrong kind of symbol for the
\rmoustache delimiter.  See the patch appended below for details.

This bug affects all mathpm/palatcm/etc. implementations that built
a virtual font replacement for cmex.  It is also possible that the
bug was inherited in the new experimental MX/MX1 encodings derived
>From OMX.  

Cheers, Ulrik.

P.S. Who is now the official maintainer of "fontinst" or "finst"?



*** OMX.etx.orig	Fri Sep  9 20:33:00 1994
--- OMX.etx	Sat Oct 25 22:51:49 1997
***************
*** 427,433 ****
  \setslot{parenrightbt}
     \varchar
        \vartop{bracerighttp}
!       \varbot{braceleftmid}
        \varrep{braceex}
     \endvarchar
  \endsetslot
--- 427,433 ----
  \setslot{parenrightbt}
     \varchar
        \vartop{bracerighttp}
!       \varbot{braceleftbt}	% bug fix - UV 1997/10/25
        \varrep{braceex}
     \endvarchar
  \endsetslot