diff --git a/source/exec.tex b/source/exec.tex
index 1f31e4eb73..72969393d9 100644
--- a/source/exec.tex
+++ b/source/exec.tex
@@ -1785,22 +1785,22 @@
     template<class... Args>
       requires @\exposconcept{callable}@<decltype(@\exposid{complete}@), Index, @\exposid{state-t}@&, Rcvr&, set_value_t, Args...>
     void set_value(Args&&... args) && noexcept {
-      @\exposid{complete}@(Index(), op->@\exposid{state}@, op->@\exposid{rcvr}@, set_value_t(), std::forward<Args>(args)...);
+      @\exposid{complete}@(Index(), @\exposidnc{op}@->@\exposid{state}@, @\exposidnc{op}@->@\exposid{rcvr}@, set_value_t(), std::forward<Args>(args)...);
     }
 
     template<class Error>
       requires @\exposconcept{callable}@<decltype(@\exposid{complete}@), Index, @\exposid{state-t}@&, Rcvr&, set_error_t, Error>
     void set_error(Error&& err) && noexcept {
-      @\exposid{complete}@(Index(), op->@\exposid{state}@, op->@\exposid{rcvr}@, set_error_t(), std::forward<Error>(err));
+      @\exposid{complete}@(Index(), @\exposidnc{op}@->@\exposid{state}@, @\exposidnc{op}@->@\exposid{rcvr}@, set_error_t(), std::forward<Error>(err));
     }
 
     void set_stopped() && noexcept
       requires @\exposconcept{callable}@<decltype(@\exposid{complete}@), Index, @\exposid{state-t}@&, Rcvr&, set_stopped_t> {
-      @\exposid{complete}@(Index(), op->@\exposid{state}@, op->@\exposid{rcvr}@, set_stopped_t());
+      @\exposid{complete}@(Index(), @\exposidnc{op}@->@\exposid{state}@, @\exposidnc{op}@->@\exposid{rcvr}@, set_stopped_t());
     }
 
     auto get_env() const noexcept -> @\exposid{env-type}@<Index, Sndr, Rcvr> {
-      return @\exposid{impls-for}@<tag-t>::@\exposid{get-env}@(Index(), op->@\exposid{state}@, op->@\exposid{rcvr}@);
+      return @\exposid{impls-for}@<tag-t>::@\exposid{get-env}@(Index(), @\exposidnc{op}@->@\exposid{state}@, @\exposidnc{op}@->@\exposid{rcvr}@);
     }
 
     @\exposidnc{basic-state}@<Sndr, Rcvr>* @\exposidnc{op}@;                                // \expos