仕様メモ
・DBへの登録とwebページへの記述を通して word, Prop, Thm を蓄積する

SQL
UPDATE `wp_waffledb_Thm` SET txt=REPLACE(txt,"P%","%_");
UPDATE `wp_waffledb_word0` SET Form=REPLACE(Form,"<=","|=");