絵をテキストで表示する。まず、ベータの定義： β0 := I^ :: I⇒I : 1→1 βn+1 := [(I ∇n I)^*α'];[βn∨I^] :: I∨∇n ⇒ ∇1+n : 1+n → 1プサイの定義： ψ1, m := βm :: I∨∇m ⇒ ∇1+m : 1+m → 1 ψn, m := [(∇n I ∇m)^*α];[∇n^∨βm];[(∇n ∇m I)^*α'];[ψn,m∨I^] :: (∇n…