![](https://secure.gravatar.com/avatar/d558f7d2c62b984d42b1e276bbdfc2c7.jpg?s=120&d=mm&r=g)
30 Aug
2020
30 Aug
'20
5: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.