¶Document tag

#notation

1 document indexed here. Formal results, specifications, proofs, registries, and other ways the material is written.