my forest
add heading
+1
+1
trees/dt/dt-004I.tree
+1
trees/dt/dt-004I.tree
···
1
1
\import{dt-macros}
2
2
\taxon{Theorem}
3
+
\title{Closure of Scott domains}
3
4
\author{liamoc}
4
5
\p{[Scott domains](dt-004G) are closed under all our [cpo](dt-001D) constructions, including [sums](dt-0031) #{+}, [products](dt-0021) #{\times}, [continuous functions](dt-002L) #{\contto}, [smash sums](dt-003H) #{\oplus}, [smash products](dt-003G) #{\otimes} and [strict functions](dt-003F) #{\strictto}.
5
6
}