- â\88\80T1,U1. â\87§[d, e] T1 â\89¡ U1 â\86\92 â\88\80h,g,U2. â¦\83h, Lâ¦\84 â\8a¢ U1 â\9e¸[g] U2 →
- â\88\83â\88\83T2. â\87§[d, e] T2 â\89¡ U2 & â¦\83h, Kâ¦\84 â\8a¢ T1 â\9e¸[g] T2.
-#L #K #d #e #HLK #T1 #U1 #HTU1 #h #g #U2 * [ #HU12 | * #l #HU12 ]
+ â\88\80T1,U1. â\87§[d, e] T1 â\89¡ U1 â\86\92 â\88\80h,g,U2. â¦\83h, Lâ¦\84 â\8a¢ U1 â\80¢â\9e¡[g] U2 →
+ â\88\83â\88\83T2. â\87§[d, e] T2 â\89¡ U2 & â¦\83h, Kâ¦\84 â\8a¢ T1 â\80¢â\9e¡[g] T2.
+#L #K #d #e #HLK #T1 #U1 #HTU1 #h #g #U2 * [ #HU12 | #l #HU12 ]