">" is not a division, it's a rewrite operator, and in the page, it's only used with symbolic representation. I would not call "y div1 /" better than "y div1 >", it's special notation either way. And having special symbol makes it easier to understand when are we talking about regular math vs rewrite rules.
(Alternatively, if you meant "why not some other Unicode symbol": I am guessing author wants something easy to type, I can relate)
">" is not a division, it's a rewrite operator, and in the page, it's only used with symbolic representation. I would not call "y div1 /" better than "y div1 >", it's special notation either way. And having special symbol makes it easier to understand when are we talking about regular math vs rewrite rules.
(Alternatively, if you meant "why not some other Unicode symbol": I am guessing author wants something easy to type, I can relate)