[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

Andrew

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.

Andrew

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:

<https://git.sdf.org/bch/tlamode/raw/branch/master/examples/emacs-tlaplus.png>

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.