Re: [tlaplus] Experience report: unicode-first spec writing

[Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>]

Consider including the generated .tex instead of the pdf files in your word processor.

Markus

> On Nov 28, 2023, at 4:56 AM, J.D. Meadows <tr1pl3.d3v@xxxxxxxxx> wrote:
> 
> I don't really think I'll ever need to code in unicode symbols, but I'd find very useful some way of exporting the pretty-printed unicode spec from the generated pdf to a word processor. Right now the only way of including a pretty-printed spec in a document is either taking an image capture of the pdf or appending whole pages of the pretty-printed pdf to the pdf-ed document. 

-- 
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/F1EE51B4-529A-44AE-9067-2AF9E883538F%40lemmster.de.