[intro.races] Markup definition of "happens after"

lprv · lprv · commit 0b6f6020eedc · 2025-12-14T21:59:08.000Z
diff --git a/source/basic.tex b/source/basic.tex
@@ -6765,7 +6765,7 @@
 
 \pnum
 An evaluation $A$ \defn{happens before} an evaluation $B$
-(or, equivalently, $B$ happens after $A$)
+(or, equivalently, $B$ \defn{happens after} $A$)
 if either
 \begin{itemize}
 \item $A$ is sequenced before $B$, or
