- (â\88\80g,I,K,n. â¬\87*[n] L â\89\98 K.â\93\98{I} â\86\92 ⫯g = ⫱*[n] f → R_pw_confluent2_lexs RN1 RN2 RN1 RP1 RN2 RP2 g K I) →
- (â\88\80g,I,K,n. â¬\87*[n] L â\89\98 K.â\93\98{I} â\86\92 â\86\91g = ⫱*[n] f → R_pw_confluent2_lexs RP1 RP2 RN1 RP1 RN2 RP2 g K I) →
+ (â\88\80g,I,K,n. â¬\87*[n] L â\89\98 K.â\93\98{I} â\86\92 â\86\91g = ⫱*[n] f → R_pw_confluent2_lexs RN1 RN2 RN1 RP1 RN2 RP2 g K I) →
+ (â\88\80g,I,K,n. â¬\87*[n] L â\89\98 K.â\93\98{I} â\86\92 ⫯g = ⫱*[n] f → R_pw_confluent2_lexs RP1 RP2 RN1 RP1 RN2 RP2 g K I) →