diff --git a/tex/iris.sty b/tex/iris.sty
index 7490f6ea24525adaf8280fd3d1114a3e18e771ac..4c525a45d05df9d66ecbe447f6665eb60eb2db39 100644
--- a/tex/iris.sty
+++ b/tex/iris.sty
@@ -350,7 +350,6 @@
   {#4}%
   \scalerel*[1ex]{#3}{\copy0}}
 \newcommand{\curlybracket}[2][]{\bracket[{#1}]\{\}{#2}}
-\newcommand{\anglebracket}[2][]{\bracket[{#1}]\langle\rangle{#2}}
 
 \NewDocumentCommand \hoare {m m m O{}}{
 	\curlybracket{#1}\spac #2 \spac \curlybracket{#3}_{#4}%