- â¦\83G1, L1, T1â¦\84 >â\89¡[h, o] ⦃G, L, T⦄ → ⦃G, L, T⦄ ≽[h, o] ⦃G2, L2, T2⦄ →
- â¦\83G1, L1, T1â¦\84 >â\89¡[h, o] ⦃G2, L2, T2⦄.
+ â¦\83G1, L1, T1â¦\84 >â\89\9b[h, o] ⦃G, L, T⦄ → ⦃G, L, T⦄ ≽[h, o] ⦃G2, L2, T2⦄ →
+ â¦\83G1, L1, T1â¦\84 >â\89\9b[h, o] ⦃G2, L2, T2⦄.