From 1ab153ed8aa026582a6f67822364d88fff5a2d15 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marcel=20Fabian=20Kr=C3=BCger?= <tex@2krueger.de>
Date: Sat, 24 Apr 2021 20:41:10 +0200
Subject: [PATCH] Better support \mathord and less unnecessary mrows

---
 luamml-convert.lua | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/luamml-convert.lua b/luamml-convert.lua
index c7b312c..4b82622 100644
--- a/luamml-convert.lua
+++ b/luamml-convert.lua
@@ -110,6 +110,10 @@ local function noad_to_table(noad, sub, cur_style)
   local class = noad_sub[sub]
   local nucleus, core = kernel_to_table(noad.nucleus, class == 'over' and cur_style//2*2+1 or cur_style)
   if class == 'ord' then
+    if core and core[0] == 'mo' then
+      core[0] = 'mi'
+      core.stretchy, core.mathvariant = nil, #core == 1 and type(core[0]) and utf8.len(core[0]) == 1 and utf8.codepoint(core[0]) < -0x10000 and 'normal' or nil
+    end
   elseif class == 'opdisplaylimits' or class == 'oplimits' or class == 'opnolimits' or class == 'bin' or class == 'rel' or class == 'open'
       or class == 'close' or class == 'punct' or class == 'inner' then
     if not core or not core[0] then
@@ -306,6 +310,10 @@ function nodes_to_table(head, cur_style)
       core = new_core
     end
   end
+  if t[0] == 'mrow' and #t == 1 then
+    assert(t == result)
+    result = t[1]
+  end
   return result, core
 end