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