- | â\88\83â\88\83a,W,T. â¦\83G, Lâ¦\84 â\8a¢ T1 â\9e¡*[h, o] â\93\9b{a}W.T & â¦\83G, Lâ¦\84 â\8a¢ â\93\93{a}â\93\9dW.V1.T â\9e¡*[h, o] U2
- | â\88\83â\88\83a,V0,V2,V,T. â¦\83G, Lâ¦\84 â\8a¢ V1 â\9e¡*[h, o] V0 & ⬆[0,1] V0 ≡ V2 &
- â¦\83G, Lâ¦\84 â\8a¢ T1 â\9e¡*[h, o] â\93\93{a}V.T & â¦\83G, Lâ¦\84 â\8a¢ â\93\93{a}V.â\93\90V2.T â\9e¡*[h, o] U2.
+ | â\88\83â\88\83a,W,T. â¦\83G, Lâ¦\84 â\8a¢ T1 â¬\88*[h, o] â\93\9b{a}W.T & â¦\83G, Lâ¦\84 â\8a¢ â\93\93{a}â\93\9dW.V1.T â¬\88*[h, o] U2
+ | â\88\83â\88\83a,V0,V2,V,T. â¦\83G, Lâ¦\84 â\8a¢ V1 â¬\88*[h, o] V0 & ⬆[0,1] V0 ≡ V2 &
+ â¦\83G, Lâ¦\84 â\8a¢ T1 â¬\88*[h, o] â\93\93{a}V.T & â¦\83G, Lâ¦\84 â\8a¢ â\93\93{a}V.â\93\90V2.T â¬\88*[h, o] U2.