Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Literally embed Form when pretty-printing to a rich-text stream
This commits lays the ground for implementing Notarfrancesco-style pretty-printing of multiline mathematical objects
- Loading branch information