From 0b6f6020eedc96a256a43f74c6cf5868247cab18 Mon Sep 17 00:00:00 2001
From: lprv <100177227+lprv@users.noreply.github.com>
Date: Sun, 14 Dec 2025 21:59:08 +0000
Subject: [PATCH] [intro.races] Markup definition of "happens after"

---
 source/basic.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/source/basic.tex b/source/basic.tex
index a813f68d9c..f7340bb3c4 100644
--- 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