] >
Explanation:
The configuration \Configure{over} {...} {...} prepends and appends the \over with the given arguments
The \Send{GROUP}{0}{...} sends its argument backward to the start of the current group
The \Send{EndGROUP}{0}{...} sends its argument forward to the end of the current group
Upon insertion into {...\over...}:
{...
\Send{GROUP}{0}{\string\frac\l:brace} \over \HCode{\r:brace\l:brace} \Send{EndGROUP}{0}{\r:brace} ...} |
After sending:
{\frac\l:brace ...
\over \r:brace\l:brace ...\r:brace} |
The braces ‘{’ and ‘}’, and the command \over, do not introduce content
\frac\l:brace ...\r:brace\l:brace ...\r:brace