-空间、对称空间、紧凯勒流形等。楔积和直积都保有形式性；对于流行而言，连通和也保有形式性。另一方面，幂零流形几乎全非形式的：任意形式的紧幂零流形都是 formula_64 维环面。非形式的紧幂零流形最简单的例子是海森伯流形 formula_65，即海森伯群在其整系数矩阵子群上的商。辛流形也不一定是形式的：最简单的例子是小平-瑟斯顿流形（即海森伯流形与圆的乘积）。 进一步给出了非形式的单连通辛流形。非形式性常常Massey积检测。事实上，如果微分分次代数 formula_27 是形式的，那么其所有（高