ジャーゴンファイル
ジャーゴンファイルのバージョン4.3.3には、の定義として次のように記されている。