This mathematical formula with a big summation and the number pi:
is easy to prove. And was easy to markup. I just stole the MathML directly from the MathML Core documentation.The fraction is not a decimal number (I got this example from Getting started with MathML and styled it using CSS).
I made this one: as a solution to the last exercise on this same page.
I'm going to need a lot of Unicode characters for this math markup, and I'll use Mathematical operators and symbols in Unicode and List of logic symbols as primary resources (thanks Wikipedia!)
P ∧ Q, P ∨ Q, P → Q, P ↔ Q, ¬P → ¬Q