Un símbolo no oficial de la teoría de lenguajes de programación es la letra griega lambda en minúsculas.