元 lambda 符号（高阶符号）

Question

巴特·雅各布斯在他的书中范畴逻辑和类型理论，使用了一个非常酷的符号来表示“元 lambda 抽象”：

在上下文中，它看起来是这样的：

这有点让人想起haskell 徽标，但看起来这个符号不存在（我检查了常用的资源，列出了这里）。

有人见过这个符号吗？有关于如何排版的建议吗？

Answer 1

这仅仅是两个具有提升和重叠的 lambda 表达式。

\documentclass{article}

\newcommand{\metalambda}{%
  \mathop{%
    \rlap{$\lambda$}%
    \mkern2mu
    \raisebox{.275ex}{$\lambda$}%
  }%
}

\begin{document}

$\metalambda x\mathpunct{.}f(x)$

\end{document}

根据不同的字体，可能需要调整参数。

Answer 2

适用于各种数学风格。

\documentclass{article}
\usepackage{stackengine,trimclip,scalerel}
\def\metalambda{\mathop{\scalerel*{\stackengine{1.9pt}{$\lambda$}{%
  \kern3.4pt\smash{\clipbox{2pt -.5pt 0pt -.5pt}{$\lambda$}}}{O}{l}{F}{F}{L}}{X}\mkern1mu}}
\begin{document}
$\lambda x:\sigma.M\quad \metalambda x.f(x)$\par
$\scriptstyle\lambda x:\sigma.M\quad \metalambda x.f(x)$\par
$\scriptscriptstyle\lambda x:\sigma.M\quad \metalambda x.f(x)$\par
\end{document}