30 Aug
2020
30 Aug
'20
3:56 p.m.
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.