展开 数学拉姆达符号