-| sor_pp: â\88\80f1,f2,f,g1,g2,g. sor f1 f2 f â\86\92 â\86\91f1 = g1 â\86\92 â\86\91f2 = g2 â\86\92 â\86\91f = g → sor g1 g2 g
-| sor_np: â\88\80f1,f2,f,g1,g2,g. sor f1 f2 f â\86\92 ⫯f1 = g1 â\86\92 â\86\91f2 = g2 â\86\92 ⫯f = g → sor g1 g2 g
-| sor_pn: â\88\80f1,f2,f,g1,g2,g. sor f1 f2 f â\86\92 â\86\91f1 = g1 â\86\92 ⫯f2 = g2 â\86\92 ⫯f = g → sor g1 g2 g
-| sor_nn: â\88\80f1,f2,f,g1,g2,g. sor f1 f2 f â\86\92 ⫯f1 = g1 â\86\92 ⫯f2 = g2 â\86\92 ⫯f = g → sor g1 g2 g
+| sor_pp: â\88\80f1,f2,f,g1,g2,g. sor f1 f2 f â\86\92 ⫯f1 = g1 â\86\92 ⫯f2 = g2 â\86\92 ⫯f = g → sor g1 g2 g
+| sor_np: â\88\80f1,f2,f,g1,g2,g. sor f1 f2 f â\86\92 â\86\91f1 = g1 â\86\92 ⫯f2 = g2 â\86\92 â\86\91f = g → sor g1 g2 g
+| sor_pn: â\88\80f1,f2,f,g1,g2,g. sor f1 f2 f â\86\92 ⫯f1 = g1 â\86\92 â\86\91f2 = g2 â\86\92 â\86\91f = g → sor g1 g2 g
+| sor_nn: â\88\80f1,f2,f,g1,g2,g. sor f1 f2 f â\86\92 â\86\91f1 = g1 â\86\92 â\86\91f2 = g2 â\86\92 â\86\91f = g → sor g1 g2 g