- [ "lifts_vector ( â\87§*[?] ? ≡ ? )" "lifts_lift_vector" * ]
- [ "lifts ( â\87§*[?] ? ≡ ? )" "lifts_lift" + "lifts_lifts" * ]
+ [ "lifts_vector ( â¬\86*[?] ? ≡ ? )" "lifts_lift_vector" * ]
+ [ "lifts ( â¬\86*[?] ? ≡ ? )" "lifts_lift" + "lifts_lifts" * ]
- [ "lift_vector ( â\87§[?,?] ? ≡ ? )" "lift_lift_vector" * ]
- [ "lift ( â\87§[?,?] ? ≡ ? )" "lift_neq" + "lift_lift" * ]
+ [ "lift_vector ( â¬\86[?,?] ? ≡ ? )" "lift_lift_vector" * ]
+ [ "lift ( â¬\86[?,?] ? ≡ ? )" "lift_neq" + "lift_lift" * ]