[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Unicode TLA+

I've opened a RFC for TLA+ Unicode support here: https://github.com/tlaplus/rfcs/issues/5


On Thursday, September 23, 2021 at 2:25:34 PM UTC-4 Andrew Helwer wrote:
It should be noted that unicode symbol quality varies pretty widely by font. You also will want a font that renders as many unicode symbols in monospace width as possible.


On Thursday, September 23, 2021 at 1:22:12 AM UTC-4 b...@xxxxxxxxx wrote:
On Thu, Sep 09 2021, Andrew Helwer wrote:
> Some questions to provoke discussion:
> - Do you believe you would personally find it useful/easier
> to see TLA+ specs in their Unicode form as you are writing
> them?

Having an option is certainly not bad (in my opinion). I am
writing my TLA+ specs with GNU/Emacs and tried to convert the
ASCII symbols to Unicode:


But most of the time, I still stick to the ASCII representation
(and to view the pretty printed version, I do ‘C-c C-t e’ and
xdvi(1) automatically updates the view on that file).

Christian Barthel

You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/74e9060b-5630-4a83-90f4-f78496c71826n%40googlegroups.com.