如何在MathML中使用lambda

Question

我使用MathML作为计算引擎和符号操纵器，我对<lambda/>元素的功能很感兴趣。我很欣赏这种用于计算或任何其他用途的例子

注意：@David_Carlisle指的是关于MathML列表的讨论，该列表非常全面地处理了这一点：http://lists.w3.org/Archives/Public/www-math/，特别是http://lists.w3.org/Archives/Public/www-math/2012Mar/0008.html下的线程

Answer 1

Peter我想/希望你能在www-math列表上找到你需要的答案，但是把mathml的问题留在这里供以后搜索网站的人回答是一种遗憾，所以lambda的一个经典用途是制作一个匿名函数，该函数接受一个参数并将其加1。在经典的lambda表示法中，这将是

λx. x +1

或者用更常用的数学函数箭头表示法

X↦x+1

或者在mathml中

 <lambda><bvar><ci>x</ci></bvar>
   <apply><plus/><ci>x</ci><cn>1</cn></apply>
 </lambda>