From db88cf232fcc7ac7f64e856f318a8fee2264d3af Mon Sep 17 00:00:00 2001 From: Kim Morrison Date: Tue, 3 Mar 2026 23:02:24 +0000 Subject: [PATCH] fix: add space before "et al." in citations When a reference has more than 3 authors, the inline citation rendered the first author's last name immediately followed by "et al" with no space and no trailing period. Before: `(Smithet al, 2025)` After: `(Smith et al., 2025)` Fixes leanprover/verso#780 --- src/verso-manual/VersoManual/Bibliography.lean | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/verso-manual/VersoManual/Bibliography.lean b/src/verso-manual/VersoManual/Bibliography.lean index 02876d10..a11204be 100644 --- a/src/verso-manual/VersoManual/Bibliography.lean +++ b/src/verso-manual/VersoManual/Bibliography.lean @@ -271,7 +271,7 @@ where else if h : p.authors.size = 1 then go <| Bibliography.lastName p.authors[0] else if h : p.authors.size > 3 then - (· ++ {{"et al"}}) <$> go (Bibliography.lastName p.authors[0]) + (· ++ {{" ""et al."}}) <$> go (Bibliography.lastName p.authors[0]) else andList <$> p.authors.mapM (go ∘ Bibliography.lastName) open Verso.Doc.TeX in @@ -308,7 +308,7 @@ where else if h : p.authors.size = 1 then go <| Bibliography.lastName p.authors[0] else if h : p.authors.size > 3 then - (· ++ \TeX{\em{"et al"} }) <$> go (Bibliography.lastName p.authors[0]) + (· ++ \TeX{" " \em{"et al."} }) <$> go (Bibliography.lastName p.authors[0]) else andListTeX <$> p.authors.mapM (go ∘ Bibliography.lastName) private def arrayOrd (ord : Ord α) : Ord (Array α) := inferInstance