TO DO

変更点
・tex1、Thm_texなどいらなくなった気がするので削除
・{}形のtexコマンド計算を変更(->を使用しないように)

変更したい所
・DBのいらない列を削除
・DBでの -> を使用をやめる。word \(\to\) のtxtに充てる。
・Thmを作るのに使用される記号の変更 ＜ → < など
・_ はそのままtexコマンドとなるtxtとして使用したい。^ はOK
　colなどを使った{ }形で _ が使われちゃっているので要変更
　やたらと _ を使いすきている気がするのでaliasでは @ にする？

word関数を拡張して2次wordともいうべきものを使用可能に。[ ] 内に作る？
例えば写像を一項関数から容易に生成できるように！
証明中に新しいwordの作成をすることも可能になる？
証明では+A等を使用

・外部変数を扱えるように。補題も
・php functionの整備。
順番替える。ary1_map,tex0,decent0を改良？
・word関数の#を\に
・数学の教科書を先に進める
きれいな定義を可能に
・必要な「推論の道具」を揃える