see https://github.com/OpenMath/OM3/issues/127
see OpenMath/OM3#127