- â\88\80p,I,V. â\9dªG,Lâ\9d« ⊢ ⬈*𝐒 V →
- â\88\80T. â\9dªG,L.â\93\91[I]Vâ\9d« â\8a¢ â¬\88*ð\9d\90\92 T â\86\92 â\9dªG,Lâ\9d« ⊢ ⬈*𝐒 ⓑ[p,I]V.T.
+ â\88\80p,I,V. â\9d¨G,Lâ\9d© ⊢ ⬈*𝐒 V →
+ â\88\80T. â\9d¨G,L.â\93\91[I]Vâ\9d© â\8a¢ â¬\88*ð\9d\90\92 T â\86\92 â\9d¨G,Lâ\9d© ⊢ ⬈*𝐒 ⓑ[p,I]V.T.