3.2　環境部

　まず環境部について説明します．環境部には，その article で必要な環境設定を行います．
具体的にはその article が引用する定義，定理，または vocabulary がある article のファイル名を書き宣言します．
　環境部は次のような項目からなっています．

　　　　　　 environ
　　　　　　　　vocabulary　　　· · · ;
　　　　　　　　notation　　　　· · · ;
　　　　　　　　constructors　 · · · ;
　　　　　　　　definitions　　　· · · ;
　　　　　　　　theorems 　　　· · · ;
　　　　　　　　schemes　　　　· · · ;
　　　　　　　　requirements 　· · · ;

　環境部の中のそれぞれの項目について説明します．