- â\88\80L0,T1,T2. â¦\83G,L0â¦\84 ⊢ T1 ⬈[h] T2 →
- â\88\80L. G â\8a¢ L0 â\8a\92[h] L â\86\92 G â\8a¢ â¬\88*[h,T1] ð\9d\90\92â¦\83Lâ¦\84 â\86\92 G â\8a¢ â¬\88*[h,T2] ð\9d\90\92â¦\83Lâ¦\84.
+ â\88\80L0,T1,T2. â\9dªG,L0â\9d« ⊢ T1 ⬈[h] T2 →
+ â\88\80L. G â\8a¢ L0 â\8a\92[h] L â\86\92 G â\8a¢ â¬\88*[h,T1] ð\9d\90\92â\9dªLâ\9d« â\86\92 G â\8a¢ â¬\88*[h,T2] ð\9d\90\92â\9dªLâ\9d«.