Replace nonstandard MJX-arrow class by an "updiagonalarrow" menclose notation. Fix issue #481.
Address review comments for issue #481.
Address second review.
Merge pull request #528 from fred-wang/issue481

This resolves issue #481