see https://github.com/OpenMath/OM3/issues/98; is this still unfixed?
see OpenMath/OM3#98; is this still unfixed?