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?
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.