diff options
Diffstat (limited to 'papers/figures/gfx-strings.tex')
| -rw-r--r-- | papers/figures/gfx-strings.tex | 26 |
1 files changed, 26 insertions, 0 deletions
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 |