lambda-notazione libro “The lambda calculus…” (B

Salve a tutti, nel libro “The lambda calculus, its syntax and semantics” di H. P. Barendregt viene fatto uso di un simbolo particolare per la meta-lambda notazione, cioè per definire funzioni on-the-fly. Si tratta di una lambda doppia, corrispondente all’effetto che si potrebbe ottenere scrivendo mathbb{\lambda}, se questo fosse possibile.
Io ho provato definendo la seguente macro

\newcommand{\metal}{\mathrel{\leftthreetimes\!\!\!\!\leftthreetimes}\!}

ma l’effetto non è un gran che. Avete suggerimenti?
Grazie.