diff --git a/docs/iris.sty b/docs/iris.sty
index 3370db61803d4cf51099d725cfb1d498ab767657..8b0cb49dbdba6af5a63e593ca2d115031bb8dacf 100644
--- a/docs/iris.sty
+++ b/docs/iris.sty
@@ -292,7 +292,7 @@
 
 %% Some commonly used identifiers
 \newcommand{\timeless}[1]{\textlog{timeless}(#1)}
-\newcommand{\physatomic}[1]{\textlog{$#1$ phys.\ atomic}}
+\newcommand{\physatomic}[1]{\textlog{atomic}($#1$)}
 \newcommand{\infinite}{\textlog{infinite}}
 
 \newcommand{\Prop}{\textlog{Prop}}