PanLinx
日本語
jpn-000
λ演算子
English
eng-000
lambda operator
PanLex