mathport icon indicating copy to clipboard operation
mathport copied to clipboard
verified publisher icon leanprover-community

reserve notation / precedence command

Open digama0 opened this issue 4 years ago • 0 comments 

reserve infix `foo`:20
precedence `bar`:20

These are rarely used and can probably be ignored.

digama0 avatar Jul 16 '21 03:07 digama0