Unicode 字符的中缀语法

Question 1

问题被标记xetex为不允许使用中缀运算符。但是对于未来的读者来说，答案是使用 LuaLaTeX。这个想法是使用正则表达式编写行回调，用中缀运算符替换前缀宏。

请注意，这种方法相当脆弱，因为它不允许嵌套括号。通过实际处理 tex 标记而不是（有问题的）全能正则表达式，可以使其更加健壮，但这只是概念证明。

\documentclass{article}
\usepackage{luacode}
\usepackage{fontspec}
\setmainfont{DejaVu Serif}
\begin{luacode}
    function translate(line)
        return string.gsub(line, "{(.*)}♤{(.*)}", "\\mymacro{%1}{%2}")
    end
    luatexbase.add_to_callback("process_input_buffer", translate, "infix")
\end{luacode}
\let\mymacro\frac
\begin{document}
See the following fraction: ${a+b}♤{c+d}$

Regular club: a ♤ b
\end{document}

结果：

Answer

问题被标记xetex为不允许使用中缀运算符。但是对于未来的读者来说，答案是使用 LuaLaTeX。这个想法是使用正则表达式编写行回调，用中缀运算符替换前缀宏。

请注意，这种方法相当脆弱，因为它不允许嵌套括号。通过实际处理 tex 标记而不是（有问题的）全能正则表达式，可以使其更加健壮，但这只是概念证明。

\documentclass{article}
\usepackage{luacode}
\usepackage{fontspec}
\setmainfont{DejaVu Serif}
\begin{luacode}
    function translate(line)
        return string.gsub(line, "{(.*)}♤{(.*)}", "\\mymacro{%1}{%2}")
    end
    luatexbase.add_to_callback("process_input_buffer", translate, "infix")
\end{luacode}
\let\mymacro\frac
\begin{document}
See the following fraction: ${a+b}♤{c+d}$

Regular club: a ♤ b
\end{document}

结果：

Question 2

你所说的“中缀宏”实际上不是。的行为^在 TeX 中是固定的（不是字符本身，任何类别代码为 7 的字符都会以完全相同的方式表现）；对于_（实际上，类别代码为 8）也是如此。

有“中缀命令”，例如\over或\overwithdelims，但它们不是宏：它们是不可扩展的原语。

上述标记的工作方式深深地基于 TeX 的数学模式，其中输入会发生非常不同的事情。事实上，数学列表是通过将发现的对象分类为原子各种类型；一个原子有三个领域：原子核，下标和上标，每个领域本身都可以是一个数学列表。

它是如何\over工作的？首先，我们注意到一个“单独的” {（不用于分隔宏参数的）或\left开始一个新的数学列表，该列表稍后将插入到外部数学列表中。

现在，当 TeX 找到时\over，它会将找到的内容存储在当前数学列表（可能是主数学列表）中，开始一个新的数学列表，直到匹配的}或\right（或数学模式的结束），然后采用两个这样构建的数学列表并形成一个 Frac 原子。

这不能可以通过宏重现：这是一种内置行为（在我看来，这是 TeX 的缺陷之一）。

你提议的运算符如何♤确定什么是“左部分”和“右部分”？类似的东西\over，因为它的行为是内置在 TeX 中的，它有具体的它的处理规则。

脚注。 的语法\over是为了反映分数的朗读方式。但“x 加一除以 x 加二”是什么意思呢？它是否对应于

\frac{x+1}{x+2}

或者

x+\frac{1}{x}+2

或者其他什么东西？

Answer