[tlaplus] Re: Including TLA+ in a Pandoc paper.

["thomas...@xxxxxxxxx" <thomasgebert@xxxxxxxxx>]

Ok so it's not perfect, or even "good", but an update of what I have that's sort of working.

If I write a document in Markdown like this:

```

######################################################################## 100.0%
---
title: "Test Thing"
header-includes: |
 \usepackage{subfiles}
---

# The Design
Lorem Ipsum Ipsum Lorem
\subfileinclude{equations/XORDistance}

```

(With XORDistance.tex being the generated TLA+ LaTeX file)

And then I render the document with Pandoc into TeX first:

`pandoc -s  input.md -o output.tex`

And then manually render using XeLaTeX:

`xelatex output.tex`

I get a PDF that resembles close to what I want.  However, it seems to be placing all the includes as text into the document.

Any idea on how to fix that?

On Tuesday, November 24, 2020 at 8:32:31 PM UTC-5 thomas...@xxxxxxxxx wrote:

Hi!

I am attempting to write an academic paper for a project which has been formally verified with TLA+. 

The paper is written in markdown with Pandoc, and for the life of me I have not been able import the TLA+ -generated.tex file into my document.

Has anyone here had any success importing their TLA+ stuff into a Pandoc paper? 
Obviously I could recreate the math within the vanilla LaTeX, but I was hoping something semi-automated.

-- 
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/ec6221f4-a468-4865-b1ed-61b785f2313bn%40googlegroups.com.