diff options
| author | Jacob Walchuk <jpw24@st-andrews.ac.uk> | 2025-07-07 22:37:38 +0100 |
|---|---|---|
| committer | Jacob Walchuk <jpw24@st-andrews.ac.uk> | 2025-07-07 22:37:38 +0100 |
| commit | 66b48520cc2f067878b5b9fdefbf1c077c3e7f03 (patch) | |
| tree | 1fe265289a70c3d3d4b21902873e3e5163e113ac /papers/figures | |
| parent | eb0ac1c3704d7c4a5751a89ebc27387975abd269 (diff) | |
graphic 2-2
Diffstat (limited to 'papers/figures')
| -rw-r--r-- | papers/figures/2-2.pdf | bin | 0 -> 76634 bytes | |||
| -rw-r--r-- | papers/figures/gfx-strings.tex | 26 |
2 files changed, 26 insertions, 0 deletions
diff --git a/papers/figures/2-2.pdf b/papers/figures/2-2.pdf Binary files differnew file mode 100644 index 0000000..f4e6eee --- /dev/null +++ b/papers/figures/2-2.pdf 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 |