-| lsubc_beta: â\88\80L1,L2,V,W,A. â\9dªG,L1,Vâ\9d« ϵ â\9f¦Aâ\9f§[RP] â\86\92 â\9dªG,L1,Wâ\9d« ϵ â\9f¦Aâ\9f§[RP] â\86\92 â\9dªG,L2â\9d« ⊢ W ⁝ A →
+| lsubc_beta: â\88\80L1,L2,V,W,A. â\9d¨G,L1,Vâ\9d© ϵ â\9f¦Aâ\9f§[RP] â\86\92 â\9d¨G,L1,Wâ\9d© ϵ â\9f¦Aâ\9f§[RP] â\86\92 â\9d¨G,L2â\9d© ⊢ W ⁝ A →