diff options
Diffstat (limited to 'papers/figures')
| -rw-r--r-- | papers/figures/2-1.pdf | bin | 0 -> 116208 bytes | |||
| -rw-r--r-- | papers/figures/2-2.pdf | bin | 0 -> 76634 bytes | |||
| -rw-r--r-- | papers/figures/2-3.pdf | bin | 0 -> 130978 bytes | |||
| -rw-r--r-- | papers/figures/2-4.pdf | bin | 0 -> 132636 bytes | |||
| -rw-r--r-- | papers/figures/2-5.pdf | bin | 0 -> 131474 bytes | |||
| -rw-r--r-- | papers/figures/2-6.pdf | bin | 0 -> 132443 bytes | |||
| -rw-r--r-- | papers/figures/gfx-strings.tex | 26 |
7 files changed, 26 insertions, 0 deletions
diff --git a/papers/figures/2-1.pdf b/papers/figures/2-1.pdf Binary files differnew file mode 100644 index 0000000..35cd50a --- /dev/null +++ b/papers/figures/2-1.pdf 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/2-3.pdf b/papers/figures/2-3.pdf Binary files differnew file mode 100644 index 0000000..048f933 --- /dev/null +++ b/papers/figures/2-3.pdf diff --git a/papers/figures/2-4.pdf b/papers/figures/2-4.pdf Binary files differnew file mode 100644 index 0000000..825e86a --- /dev/null +++ b/papers/figures/2-4.pdf diff --git a/papers/figures/2-5.pdf b/papers/figures/2-5.pdf Binary files differnew file mode 100644 index 0000000..cbe7eec --- /dev/null +++ b/papers/figures/2-5.pdf diff --git a/papers/figures/2-6.pdf b/papers/figures/2-6.pdf Binary files differnew file mode 100644 index 0000000..a50acf7 --- /dev/null +++ b/papers/figures/2-6.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 |