INTERFACE ExtendedMatrixFmtLex = MatrixFmtLex (ExtendedFmtLex, ExtendedMatrix) END ExtendedMatrixFmtLex.