--- a/src/HOL/Library/Monad_Syntax.thy	Mon Jan 27 20:29:02 2025 +0100
+++ b/src/HOL/Library/Monad_Syntax.thy	Mon Jan 27 21:31:02 2025 +0100
@@ -70,6 +70,6 @@
   "(m \<then> n)" \<rightharpoonup> "(m \<bind> (\<lambda>_. n))"
 
 adhoc_overloading
-  bind Set.bind Predicate.bind Option.bind List.bind
+  bind \<rightleftharpoons> Set.bind Predicate.bind Option.bind List.bind
 
 end