corollary
corollary copied to clipboard
Handle infix operators correctly.
e.g.:
2 `infix` 2