For me, that's a really nice way to read the specs! This way, you
don't need to spend time converting the spec to latex/pdf.
But I would prefer to write the specs in ascii. For me, it's faster,
and there's no need to think about which particular Unicode arrow is
the one I need.
It would be awesome to combine the pros of both approaches.
Maybe the ligatures can be tweaked a bit to keep spacing at least to
the level the and/or aligning is not broken.
Karolis
> --
> 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+u...@googlegroups.com.
> To view this discussion on the web visit
https://groups.google.com/d/msgid/tlaplus/19434889-f040-4d91-9769-ebd0f3547433n%40googlegroups.com.