This is wrong, but gives me a way to discuss the configuration.

(The default notion configuration is incompatible with emacs, so I'd
like to push everything under M-Tab.)