From b9b4c134d9ec23d82b2c668b37f65ddf6b101752 Mon Sep 17 00:00:00 2001
From: Andreas Rossberg <rossberg@mpi-sws.org>
Date: Sat, 18 May 2024 11:46:58 +0200
Subject: [PATCH] Fix

---
 document/core/util/macros.def | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/document/core/util/macros.def b/document/core/util/macros.def
index b811ad95d9..f34a9b9017 100644
--- a/document/core/util/macros.def
+++ b/document/core/util/macros.def
@@ -167,7 +167,7 @@
 .. |f32| mathdef:: \xref{syntax/values}{syntax-float}{\X{f\scriptstyle32}}
 .. |f64| mathdef:: \xref{syntax/values}{syntax-float}{\X{f\scriptstyle64}}
 
-.. |vNN| mathdef:: \xref{syntax/values}{syntax-vec}{\X{v}}
+.. |vNN| mathdef:: \xref{syntax/values}{syntax-vecnum}{\X{v}}
 
 .. |name| mathdef:: \xref{syntax/values}{syntax-name}{\X{name}}
 .. |char| mathdef:: \xref{syntax/values}{syntax-name}{\X{char}}