add lambda to symbols
hoterm