Matheliaは堅牢な数学を作成するためのソフトです。
数学はbookというものに書かれ .bookファイル に記録され、「表示」ソフトで閲覧されます。

bookには通常は数学が書かれます。記号の紹介や定義、定理とその証明、などです。
（このbookはただの日本語文章ですが…）
各bookは独立していなければなりませんが、他のbookをimportすることができます。

bookは「.bookファイルの仕様」に従って書かれねばなりません。
それはヘッダと本文からなり、両者は --- という行で区切られます。
ヘッダと本文の各行は原則として命令語で始まります。
例えば、このbookのヘッダでは title と author、本文では txt と br が命令語です。