TO DO

・input → text
・Propを=で作る
・php functionの整備
・数学の教科書を先に進める
・必要な「推論の道具」を揃える

変更済み
・andとxeで分割
・定理の{ }は[ ]に
・定理の[ ]内部で <O を省略可に
・Thm内で｜｜を使って