ＦＡＱ - 奇眼のグリモア

Ｌ：”ｔ：”やら”ｆ：”やらの説明のための抜粋＝｛
ｔ：＃　＝文頭に入る制御文字の一つで、この行に書かれていることはゲームには影響を与えない。コメント記述に使用する。
＃　これが文頭にある場合注釈だったり説明書きだったりコメントだったりします。

ｔ：ｔ：　＝文頭に入る制御文字の一つで、定理を言う。
＃　ゲームで「これはこうなんだよ」ということを”＝”で結ぶことで表現しています。
＃　成立した定理はそのゲーム終了以降も使うことができます。

ｔ：ｆ：　＝文頭に入る制御文字の一つで、函数を言う。
＃　ゲームで「これはこうなんじゃね？」という提案を”＝”で結ぶことで表現しています。
＃　これがＧＭ（アイドレスの場合は芝村氏）に通ったと判定されると定理（ｔ：）になります。

ｔ：Ｌ　＝文頭に入る制御文字の一つで、ライブラリ、つまりそのゲームで使用できるｔ、もしくはｌ！の集合を宣言する。

ｔ：ｌ：　＝文頭に入る制御文字の一つで、そのゲーム内でのみ使うローカル函数を言う。ローカル函数はｆ：と異なり通っても定理にならない。通ったｌ：はｌ！：で示される。
＃　そのゲーム中でしか通用しない限定された定理を提案するのにこう表記します。

ｔ：ｌ！：　＝文頭に入る制御文字の一つで、通ったローカル函数を言う。
＃　そのゲーム中でしか通用しない限定された定理をこう表記します。
｝