mailing-list for TeXmacs Users

[Miguel de Benito Delgado <address@hidden>]

Hi,
 
 searching the scheme files for "notsign" with Shift+F1 reveals that the not 
sign is indeed mapped to a key named "notsign":

        ("notsign" "<neg>")

which under X11 is mapped to the X11 keysym "XK_notsign" (seen searching the 
C++ sources for "notsign", again with S+F1). Under Linux and X11 you'd want 
to map some key code to this using xmodmap. Otherwise you might want to do 
something like

(kbd-map
 (:mode in-math?)
 ("n var var" "<neg>"))

in your my-init-texmacs.scm.

Hth,
--
Miguel de Benito.

On 14 Oct, 2013, at 13:54, Kean Lau <address@hidden> wrote:

> Hi Folks,
> 
> The pop up information text for the not symbol ¬ says "Keyboard equivalent: 
> notsign". I'm using a US keyboard. Does anyone know which key "notsign" 
> corresponds to?
> 
> Cheers,
> Kean