papers/figures/gfx-strings.tex


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
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}