- â\88\80G1,G2,L1,L2,T1. â¦\83G1,L1,U1â¦\84 â\89»[h] â¦\83G2,L2,T1â¦\84 →
- â\88\83â\88\83L,T2. â¦\83G1,L1,U2â¦\84 â\89»[h] â¦\83G2,L,T2â¦\84 & T2 ≛ T1 & L ≛[T1] L2.
+ â\88\80G1,G2,L1,L2,T1. â\9dªG1,L1,U1â\9d« â\89»[h] â\9dªG2,L2,T1â\9d« →
+ â\88\83â\88\83L,T2. â\9dªG1,L1,U2â\9d« â\89»[h] â\9dªG2,L,T2â\9d« & T2 ≛ T1 & L ≛[T1] L2.