Christian Barthel bf13ea44db Add a few tla symbols and load them to prettify them on command ...

- define some TLA+ symbols
- Use `M-x prettify-symbols-mode' to view them.

2021-04-13 19:44:49 +02:00

..

tla+-mode.el

Add a few tla symbols and load them to prettify them on command

2021-04-13 19:44:49 +02:00