- â\88\83â\88\83n,K2,T. â¦\83G1,K1â¦\84 â\8a¢ T1 â\9e¡[n,h] T & â¦\83G1,K1,Tâ¦\84 â\8a\90⸮[b] ⦃G2,K2,T2⦄ & ⦃G2,K2⦄ ⊢ ➡[h] L2 & n ≤ 1.
+ â\88\83â\88\83n,K2,T. â¦\83G1,K1â¦\84 â\8a¢ T1 â\9e¡[n,h] T & â¦\83G1,K1,Tâ¦\84 â¬\82⸮[b] ⦃G2,K2,T2⦄ & ⦃G2,K2⦄ ⊢ ➡[h] L2 & n ≤ 1.