% This module is yet empty. We assume a transformation using % x-openmath.xsl. \endinput