Hi Hans, Thank you for the clarification Fabrice Le dim. 30 août 2020 à 17:56, Hans Åberg a écrit : > > > On 30 Aug 2020, at 11:40, Fabrice Couvreur > wrote: > > > > @Hans My ignorance is total : how to write symbols from the keyboard ? > > I use text substitutions on MacOS: a sequence of characters can be > automatically translated into another. So for example, ".subset" might > translate into "⊂" as you type along. To find the ⊂ the first time, there > is a Unicode symbol table. Other platforms and editors have similar > features. There are other ways, but I have found this easiest and fastest > both to create and use. > > > > ___________________________________________________________________________________ > If your question is of interest to others as well, please add an entry to > the Wiki! > > maillist : ntg-context@ntg.nl / > http://www.ntg.nl/mailman/listinfo/ntg-context > webpage : http://www.pragma-ade.nl / http://context.aanhet.net > archive : https://bitbucket.org/phg/context-mirror/commits/ > wiki : http://contextgarden.net > > ___________________________________________________________________________________ >