From 66b48520cc2f067878b5b9fdefbf1c077c3e7f03 Mon Sep 17 00:00:00 2001
From: Jacob Walchuk <jpw24@st-andrews.ac.uk>
Date: Mon, 7 Jul 2025 22:37:38 +0100
Subject: graphic 2-2

---
 papers/figures/gfx-strings.tex | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)
 create mode 100644 papers/figures/gfx-strings.tex

(limited to 'papers/figures/gfx-strings.tex')

diff --git a/papers/figures/gfx-strings.tex b/papers/figures/gfx-strings.tex
new file mode 100644
index 0000000..4021a61
--- /dev/null
+++ b/papers/figures/gfx-strings.tex
@@ -0,0 +1,26 @@
+\documentclass{article}
+\usepackage{ebgaramond-maths}
+\usepackage{amsmath}
+\usepackage{amssymb}
+\usepackage{mathastext}
+\DeclareMathSymbol{0}{\mathalpha}{operators}{`0}
+\DeclareMathSymbol{1}{\mathalpha}{operators}{`1}
+\DeclareMathSymbol{2}{\mathalpha}{operators}{`2}
+\DeclareMathSymbol{3}{\mathalpha}{operators}{`3}
+\DeclareMathSymbol{4}{\mathalpha}{operators}{`4}
+\DeclareMathSymbol{5}{\mathalpha}{operators}{`5}
+\DeclareMathSymbol{6}{\mathalpha}{operators}{`6}
+\DeclareMathSymbol{7}{\mathalpha}{operators}{`7}
+\DeclareMathSymbol{8}{\mathalpha}{operators}{`8}
+\DeclareMathSymbol{9}{\mathalpha}{operators}{`9}
+\begin{document}
+    \noindent
+    $D_1F$ \bigskip \\
+    $\neg D_1F \; \& \; \neg D_1 \neg F$ \bigskip \\
+    $D_1\neg F$ \bigskip \\
+    $D_2D_1F$ \bigskip \\
+    $\neg D_2 D_1 F \; \& \; \neg D_2 \neg D_1 F$ \bigskip \\
+    $D_2 \neg D_1 F \; \& \; D_2 \neg D_1 \neg F$ \bigskip \\
+    $\neg D_2 D_1 \neg F \; \& \; \neg D_2 \neg D_1 \neg F$ \bigskip \\
+    $\neg D_3 D_2 D_1 F \; \& \; \neg D_2 \neg D_2 \neg D_1 F$ \\
+\end{document}
\ No newline at end of file
-- 
cgit v1.2.3