From 413ec0112a504a28a2e9e0d487fa091cb9fa7093 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marcel=20Fabian=20Kr=C3=BCger?= <tex@2krueger.de>
Date: Wed, 17 Jul 2024 19:36:49 +0200
Subject: [PATCH] Stop emitting intent="@ignore"

---
 luamml-convert.lua | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/luamml-convert.lua b/luamml-convert.lua
index 51996d2..fe529de 100644
--- a/luamml-convert.lua
+++ b/luamml-convert.lua
@@ -616,9 +616,10 @@ function nodes_to_table(head, cur_style, text_families)
     end
     joining = new_joining
   end
-  -- In TeX, groups are never space like
+  -- In TeX, groups are never space like, so we insert an artificial node instead.
+  -- This node should be ignored for most purposes
   if core == space_like then
-    core = {[0] = 'mi', intent = '@ignore'}
+    core = {[0] = 'mi', ['tex:ignore'] = 'true'}
     result[#result+1] = core
   end
   if t[0] == 'mrow' and #t == 1 then