- â\88\80L,i. â¦\83G,Lâ¦\84 â\8a¢ â¬\88*[h] ð\9d\90\92â¦\83#iâ¦\84 →
- â\88¨â\88¨ â\87©*[â\92»,ð\9d\90\94â\9d´iâ\9dµ] L ≘ ⋆
- | ∃∃I,K. ⇩*[i] L ≘ K.ⓤ{I}
- | ∃∃I,K,V. ⇩*[i] L ≘ K.ⓑ{I}V & ⦃G,K⦄ ⊢ ⬈*[h] 𝐒⦃V⦄.
+ â\88\80L,i. â\9dªG,Lâ\9d« â\8a¢ â¬\88*[h] ð\9d\90\92â\9dª#iâ\9d« →
+ â\88¨â\88¨ â\87©*[â\92»,ð\9d\90\94â\9d¨iâ\9d©] L ≘ ⋆
+ | ∃∃I,K. ⇩*[i] L ≘ K.ⓤ[I]
+ | ∃∃I,K,V. ⇩*[i] L ≘ K.ⓑ[I]V & ❪G,K❫ ⊢ ⬈*[h] 𝐒❪V❫.