@@ -48,7 +48,7 @@ The prettyprinter shows the core metal (`.` gold, `|` iron):
48<1|gcq [@ @n <250.yur 41.wda 374.hzt 100.kzl 1.ypj %151>]>
48<1|gcq [@ @n <250.yur 41.wda 374.hzt 100.kzl 1.ypj %151>]>
51−### "ketcol"
51+### ^: "ketcol"
53`[%ktcl p=spec]`: 'factory' gate for type `p`.
53`[%ktcl p=spec]`: 'factory' gate for type `p`.