-
Notifications
You must be signed in to change notification settings - Fork 63
Open
Labels
"bug" 🐛This issue (resp. PR) describes (resp. fixes) a "bug"This issue (resp. PR) describes (resp. fixes) a "bug"
Description
Notations like {within A, continuous f} that specialize a common one (E.G. continuous f) don't print correctly. For a full list,
{within A, continuous f} prints as continuous f
{ uniform A , F --> f } prints as F --> f
{ uniform , F --> f } prints as F --> f
{ ptws , F --> f } prints as F --> f
{ 'uniform' A , F --> f } prints as F --> f
This is particularly unpleasant when proving facts like { uniform , F --> f } -> { ptws , F --> f } that print as , F --> f -> , F --> f
Metadata
Metadata
Assignees
Labels
"bug" 🐛This issue (resp. PR) describes (resp. fixes) a "bug"This issue (resp. PR) describes (resp. fixes) a "bug"