- â\88¨â\88¨ â¬\87*[â\92», ð\9d\90\94â\9d´iâ\9dµ] L â\89¡ ⋆
- | â\88\83â\88\83I,K. â¬\87*[i] L â\89¡ K.ⓤ{I}
- | â\88\83â\88\83I,K,V. â¬\87*[i] L â\89¡ K.ⓑ{I}V & ⦃G, K⦄ ⊢ ⬈*[h, o] 𝐒⦃V⦄.
+ â\88¨â\88¨ â¬\87*[â\92», ð\9d\90\94â\9d´iâ\9dµ] L â\89\98 ⋆
+ | â\88\83â\88\83I,K. â¬\87*[i] L â\89\98 K.ⓤ{I}
+ | â\88\83â\88\83I,K,V. â¬\87*[i] L â\89\98 K.ⓑ{I}V & ⦃G, K⦄ ⊢ ⬈*[h, o] 𝐒⦃V⦄.