辞海

释义：tiān zhèn
1.亦作"天陈"。阵法名。
2.指小说中的所谓"天门阵"。
3.指仁义之师。