A collection of useful, predefined and portable macros for typesetting common notations found in and around flowR.
- absint.sty - For Notation around Abstract Interpretation (Domains, Lattices, etc.)
Please consult the examples/absint.tex for usage examples and doc/absint.tex for the documentation.