OR
AND
+foo
*foo
f*o
fo*
-foo
foo~n
n
§1 introduces the concept of exact square in a representable 2-category (cf. H. §1.4).