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