形式谱

formal spectrum