Blog-style set theory post

[maxwell3025]

• have a short explanation of set theory
• list "translations" of math symbols into set theory
• make an interactive panel to do this automatically for any math input
• make interface that renders set theory and math symbols(DO THIS WITH A LIBRARY OR SOMETHING)