On Tuesday, November 24, 2020 at 6:44:01 PM UTC-8 thomas...@xxxxxxxxx wrote:
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.