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