diff --git a/theories/logrel/session_types.v b/theories/logrel/session_types.v
index 5545ff0d34b338ba9b20c367bbf83f2a9c3b3540..2fbb794aabd44b3234ceac07a5bb91f67667899a 100644
--- a/theories/logrel/session_types.v
+++ b/theories/logrel/session_types.v
@@ -136,6 +136,4 @@ Notation "<!!> A ; P" :=
   (lsty_send A P) (at level 20, A, P at level 200) : lsty_scope.
 Notation "<??> A ; P" :=
   (lsty_recv A P) (at level 20, A, P at level 200) : lsty_scope.
-Infix "<+++>" := lsty_select (at level 60) : lsty_scope.
-Infix "<&&&>" := lsty_branch (at level 85) : lsty_scope.
 Infix "<++++>" := lsty_app (at level 60) : lsty_scope.