Quoted By:
>not just writing down the lambda term
Well, taking this a bit more serious, let me pull out a few common candidates, roughly in order
I like , etc too, but they are bit loaded with meaning and so it will depend. Same with too, desu. If it's binary and of type (X \times X)-> R with 0 on the diagonal (x,x), then I'll tend to call it d. Stuff like that.
