Closed siefkenj closed 11 months ago
An argspec of e{{x}} is treated the same as e{x}. The embellishment token list should be ['x'], not [{type: "group", content: ['x']}].
e{{x}}
e{x}
['x']
[{type: "group", content: ['x']}]
But e{{{x}}} is not the same as e{{x}}
e{{{x}}}
Is e{{{x}}} allowed? How is it treated?
An argspec of
e{{x}}
is treated the same ase{x}
. The embellishment token list should be['x']
, not[{type: "group", content: ['x']}]
.