INTERFACE ExtendedPolynomialFmtLex = PolynomialFmtLex (ExtendedFmtLex, ExtendedPolynomial) END ExtendedPolynomialFmtLex.