7.4.3 エラーがある場合
エラーがある場合,ERRFLAG というコマンドを使っても,エラー番号を article にコメントの形で記入できます. ERRFLAG TEXT\EXAMPLE1.MIZ とします.いずれのコマンドも拡張子 .MIZ は省略することができます. エラーメッセージを見るには,別のファイル (MIZAR.MSG) をエディターで見る必要があります.