say_namespace summary {
  foreach {x y} {
    f "floating-point"
    ~ "signal"
    \# "grid"
  } {
    say_category basic<$x>
    say $x.do " ($y)"
    say $x.norm " ($y)"
    say $x.packunpack3 " ($y)"
    say $x.swap " ($y)"
    say $x.taa " ($y)"
  }

  say_category interfaces
  proc pu_say {} {
  }

  pu_say   antireflexive {t  } ""
  pu_say       reflexive {t  } ""

  pu_say     commutative {t  } ""
  pu_say anticommutative {t  } ""
  pu_say   antisymmetric {t  } ""

  pu_say     associative {t  } ""
  pu_say    distributive {t  } ""
  pu_say      invertible {t  } ""

  pu_say  partialorder   {t  } "partial order (open)"
  pu_say  partialordereq {t  } "partial order (closed)"
  pu_say    totalorder   {t  } "total order (open)"
  pu_say    totalordereq {t  } "total order (closed)"
  pu_say     equivalence {t  } "equivalence relation"

  pu_say      transitive {t  } "transitive: "
  pu_say      trichotomy {t  } "trichotomy: either equal or less or greater"
  pu_say       operator1 {t  } "1-input operator"
  pu_say       operator2 {t  } "2-input operator"

  say_category cancellators
  say  associator "(ab)c-a(bc)"
  say  commutator "ab-ba"
  say distributor "a&(b^c)-(ab^ac)"
  say    invertor "ab/b-a"

  say_category misc
  say twice ""
  say 3times ""
  say 4times ""
  say ^ "xor"
  say error ""
  say protocols-tree ""
  say tree ""
}