-| sle_push: â\88\80f1,f2,g1,g2. sle f1 f2 â\86\92 â\86\91f1 = g1 â\86\92 â\86\91f2 = g2 → sle g1 g2
-| sle_next: â\88\80f1,f2,g1,g2. sle f1 f2 â\86\92 ⫯f1 = g1 â\86\92 ⫯f2 = g2 → sle g1 g2
-| sle_weak: â\88\80f1,f2,g1,g2. sle f1 f2 â\86\92 â\86\91f1 = g1 â\86\92 ⫯f2 = g2 → sle g1 g2
+| sle_push: â\88\80f1,f2,g1,g2. sle f1 f2 â\86\92 ⫯f1 = g1 â\86\92 ⫯f2 = g2 → sle g1 g2
+| sle_next: â\88\80f1,f2,g1,g2. sle f1 f2 â\86\92 â\86\91f1 = g1 â\86\92 â\86\91f2 = g2 → sle g1 g2
+| sle_weak: â\88\80f1,f2,g1,g2. sle f1 f2 â\86\92 ⫯f1 = g1 â\86\92 â\86\91f2 = g2 → sle g1 g2