[Agda] \member vs \notin

[Andrés Sicard-Ramírez]

On Mon, Feb 4, 2013 at 6:43 AM, Serge D. Mechveliani <mechvel at botik.ru> wrote:
> When I look at  foo.agda  with  emacs  under the Agda mode,
> and request on the "\notin" symbol (by positionning at it in the text),
> emacs  prints
>   "...
>    to input: type "\notin" or "\inn" or "\member" with Agda
>   "

This is correct because typing \member you can choose ∉ (or others
membership symbols).

-- 
Andrés