辞海

释义：ruì zhèn
1.古代一种兵阵。阵如刀尖。