book集

!txt default.mathel — Mathel の綴り（既定）
!txt
!txt 本が `word` で紹介できないもの＝変数・定数・引数をとる記号の綴りを書く。
!txt （`word` で紹介するもの＝語の表は DB が持つ。ここには書かない。）
!txt
!txt 印は Mathel のもので、ここでは選べない：
!txt   `|` 前置＝対象言語の記号（定数）／無ければ変数
!txt   `.` `..` 前置＝引数の個数（1つ・2つ）
!txt   `_` 後置＝クラス（c）／`^` 後置＝命題（p）／無印＝集合（s）
!txt
!txt ★2026-08-23 に現行の判定をそのまま書き写した。揃っていない所もそのまま写してある
!txt   （prime は変数と記号にしか無い・cal は変数の s と c だけ・greek は `var p` に無い 等）。

!txt ① 名前に使える綴り
name letter A-Z a-z
name cal    calA-calZ
!txt ★2026-08-23 に greek を Unicode 1文字へ移した（須田さん）。大文字の Rho（Ρ）は外した
!txt   （`\Rho` は LaTeX に無い命令・実使用0件）。小文字 rho（ρ）は残す。
!txt   tex（`\alpha`）と Prover9 名（`Aalpha`）は common.php の GREEK_NAME が持つ＝綴りだけが動いた。
name greek  α β γ δ ε ζ η θ ι κ λ μ ν ξ π ρ σ τ υ φ χ ψ ω Γ Δ Θ Λ Ξ Π Σ Υ Φ Ψ Ω

!txt ② この Mathel で使える Form 型（従来どおり、集合・クラス・命題をすべて使う）
form s c p

!txt ③ TeX表示にだけ使い、syntax計算では無視するword
word tex_only \, \; \! !, { } _ ^

!txt ④ wordの種類と綴りの正規表現
!txt   英字v-Formは「英字1文字 → 数字0個以上 → prime 0個以上」。正規表現は常に綴り全体に適用される。
word v-Form [A-Za-z][0-9]*'*

!txt ⑤ まだ正規表現へ移していない綴り
!txt   prime ＝ `'` を0個以上／index ＝ 数字を0個以上（名前 → prime → index の順）
!txt   var  s  x  X1  X'      var  c  X_  calA_      var  p  P^
!txt   word s  |A  |α         word c  |A_            word p  |P^  |α^
!txt   sym  s  .f  ..f  |.f   sym  p  .p^  ..p^  |..p^
var  s  cal           index
var  s  greek         index
var  c  letter  prime index
var  c  cal           index
var  c  greek         index
var  p  letter  prime index
word s  letter        index
word s  greek         index
word c  letter        index
word p  letter        index
word p  greek         index
sym  s  letter  prime index
sym  p  letter  prime index

mathel/default.mathel

`mathel/default.mathel`