Chapter 3

Mizar articleの構成

3.1　全体構成

　次に article の構成について説明します．article は，環境部，本体部の2つの部分からなります．環境部は environ で始まり，セミコロンで終わります．本体部は begin で始まり，最後はセミコロンです．但し，本 begin をいくつか入れて本体部をいくつかに分けることもできます．これは論文を節に分けることに相当します．後に述べる .BIB ファイルに，節の名前を書いておくと，後に通常の数学論文の形式に自動変換されたときに， begin の位置に節の名前が書き込まれます．