From f96ba68559510e2a795ebdb8ba9cb6043fd4911a Mon Sep 17 00:00:00 2001 From: Deyan Ginev Date: Tue, 10 Oct 2023 15:29:37 -0400 Subject: [PATCH] \font also has an implied space skip --- lib/LaTeXML/Package/TeX.pool.ltxml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/LaTeXML/Package/TeX.pool.ltxml b/lib/LaTeXML/Package/TeX.pool.ltxml index 8c75598f5..dd4d73218 100644 --- a/lib/LaTeXML/Package/TeX.pool.ltxml +++ b/lib/LaTeXML/Package/TeX.pool.ltxml @@ -1324,7 +1324,7 @@ sub lookupFontinfo { # This should eventually actually load the font metrics, # and tie-in to the FontMetrics data used by Font. -DefPrimitive('\font Token SkipMatch:= SkipSpaces TeXFileName', sub { +DefPrimitive('\font SkipSpaces Token SkipSpaces SkipMatch:= SkipSpaces TeXFileName', sub { my ($stomach, $cs, $name) = @_; my $gullet = $stomach->getGullet; $name = ToString($name);