> On 30 Aug 2020, at 11:40, Fabrice Couvreur <fabrice1.couvreur@gmail.com> 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
___________________________________________________________________________________