This is pretty cool! I think the usability is better than mathbin, and I like the list of easily findable/clickable examples. Could even be useful for learning math formatting with LaTeX.