- â\88\80T. ð\9d\90\92â\9dªTâ\9d« â\86\92 â\9dªG,Lâ\9d« ⊢ ⬈𝐍 T →
- â\88\80Vs. â\9dªG,Lâ\9d« â\8a¢ â¬\88*ð\9d\90\92 Vs â\86\92 â\9dªG,Lâ\9d« ⊢ ⬈*𝐒 ⒶVs.T.
+ â\88\80T. ð\9d\90\92â\9d¨Tâ\9d© â\86\92 â\9d¨G,Lâ\9d© ⊢ ⬈𝐍 T →
+ â\88\80Vs. â\9d¨G,Lâ\9d© â\8a¢ â¬\88*ð\9d\90\92 Vs â\86\92 â\9d¨G,Lâ\9d© ⊢ ⬈*𝐒 ⒶVs.T.