From f98ba9249e86786bd4e33a72584b00d42babef0c Mon Sep 17 00:00:00 2001 From: Zakariyya Mughal Date: Sat, 18 Jun 2022 23:14:21 -0400 Subject: [PATCH] Document typesetting tools --- sandbox/index.mdwn | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/sandbox/index.mdwn b/sandbox/index.mdwn index 9902ebbbc..902a860eb 100644 --- a/sandbox/index.mdwn +++ b/sandbox/index.mdwn @@ -257,3 +257,16 @@ Screen annotation: - [[sTeX: Semantic Markup for LaTeX · KWARC|https://kwarc.info/systems/sTeX/]] * [[M. Kohlhase (2008) Using LaTeX as a semantic markup format. Mathematics in Computer Science 2 (2), pp. 279–304|https://kwarc.info/kohlhase/papers/mcs08-stex.pdf]] + +--- + +- +- +- +- +- + * +- +- +- +-