liamoc.net
my forest
1\import{dt-macros}
2\author{liamoc}
3\taxon{Example}
4\title{The domain #{\mathbb{B}_\bot \times \mathbb{B}_\bot}}
5\figure{\tex{\usepackage{tikz}}{
6\begin{tikzpicture}
7 \node (ff) at (0,1) {$(F,F)$};
8 \node (ft) at (1.5,1) {$(F,T)$};
9 \node (tf) at (3,1) {$(T,F)$};
10 \node (tt) at (4.5,1) {$(T,T)$};
11 \node (fb) at (0,-1) {$(F,\bot)$};
12 \node (bt) at (1.5,-1) {$(\bot,T)$};
13 \node (bf) at (3,-1) {$(\bot,F)$};
14 \node (tb) at (4.5,-1) {$(T,\bot)$};
15 \node (bb) at (2.25,-3) {$(\bot,\bot)$};
16 \draw[thick] (bb) -- (fb)
17 (bb) -- (bt)
18 (bb) -- (bf)
19 (bb) -- (tb)
20 (fb.north) -- (ft)
21 (fb.north) -- (ff)
22 (bt.north) -- (tt)
23 (bt.north) -- (ft);
24 \draw[thick,preaction={draw, line width=5pt, white}] (bf.north) -- (ff)
25 (bf.north) -- (tf)
26 (tb.north) -- (tt)
27 (tb.north) -- (tf);
28\end{tikzpicture}
29}}
30\p{As can be seen above, the domain #{\mathbb{B}_\bot \times \mathbb{B}_\bot} is not flat, but it is still a [pointed poset](dt-000G).}