lambdaをMathMLで使用する方法

Question

私は計算エンジンとシンボルマニピュレータとしてMathMLを使用していますが、私は<lambda/>要素の力に興味があります。下http://lists.w3.org/Archives/Public/www-math/特にスレッド： http://lists.w3.org/Archives/Public/www-math/2012Mar/0008.html

@David_Carlisleは非常に完全にこれを扱うMathMLのリスト上の議論を参照：私は、これは、計算、あるいは実際には任意の他の用途

NOTEのために使用している例をいただければと思います

Answer 1

ピーター私はあなたがwww-mathリストに必要な答えを得たと思っていますが、mathmlの質問を残しておきたいのは残念です。ラムダの古典的な使い方は、引数に1を加えます。古典的なラムダ表記では、

＆バツ。

以上の通常の数学関数矢印表記X +1

X＆＃1 x21a6。 X + 1

またはMathMLで

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