diff --git a/source/intro.tex b/source/intro.tex
index e0ded4cf05..aae91f75da 100644
--- a/source/intro.tex
+++ b/source/intro.tex
@@ -946,7 +946,7 @@
 Certain events in the execution of a program
 are termed \defnadj{observable}{checkpoints}.
 \begin{note}
-A call to \tcode{std::observable}\iref{utility.undefined}
+A call to \tcode{std::observable_checkpoint}\iref{utility.undefined}
 is an observable checkpoint,
 as are certain parts of
 the evaluation of contract assertions\iref{basic.contract}.
diff --git a/source/support.tex b/source/support.tex
index 7d53612aad..33a794d559 100644
--- a/source/support.tex
+++ b/source/support.tex
@@ -752,6 +752,7 @@
   // \libheader{string}, \libheader{unordered_map}, \libheader{unordered_set}, \libheader{vector}
 #define @\defnlibxname{cpp_lib_not_fn}@                            202306L // freestanding, also in \libheader{functional}
 #define @\defnlibxname{cpp_lib_null_iterators}@                    201304L // freestanding, also in \libheader{iterator}
+#define @\defnlibxname{cpp_lib_observable_checkpoint}@             202506L // freestanding, also in \libheader{utility}
 #define @\defnlibxname{cpp_lib_optional}@                          202110L // also in \libheader{optional}
 #define @\defnlibxname{cpp_lib_optional_range_support}@            202406L // freestanding, also in \libheader{optional}
 #define @\defnlibxname{cpp_lib_out_ptr}@                           202311L // freestanding, also in \libheader{memory}
diff --git a/source/utilities.tex b/source/utilities.tex
index d338526754..93c329b8f8 100644
--- a/source/utilities.tex
+++ b/source/utilities.tex
@@ -95,7 +95,7 @@
 
   // \ref{utility.undefined}, undefined behavior
   [[noreturn]] void unreachable();
-  void observable() noexcept;
+  void observable_checkpoint() noexcept;
 
   // \ref{intseq}, compile-time integer sequences%
 \indexlibraryglobal{index_sequence}%
@@ -720,9 +720,9 @@
 \end{example}
 \end{itemdescr}
 
-\indexlibraryglobal{observable}%
+\indexlibraryglobal{observable_checkpoint}%
 \begin{itemdecl}
-void observable() noexcept;
+void observable_checkpoint() noexcept;
 \end{itemdecl}
 
 \begin{itemdescr}