[BRLTTY] What is the best way to deal with Unicode characters?

[Nicolas Pitre]

On Sat, 28 Sep 2019, S. Massy wrote:

> This is beyond the scope of this thread but I sometimes feel like it's
> time to add two more dots to displays for a total of ten: this would
> give us more flexibility to keep up with new Unicode characters.

We may blink dots 7 and 8 for that. If, say, dot 7 blinks then this is 
the equivalent of dot 9 being active. Same for dot 8 representing dot 
10. And the time period may preserve the actual dot 7/8 state. For 
example, if dot 7 is on 3/4 of the time and off 1/4 of the time, that 
means dot 7 is normally set when not blinking. And if it is on 1/4 and 
off 3/4 of the time then it is normally unset.


Nicolas