Mathematical notation: end of a proof
55357
Why does drawing $\square$ mean the end of a proof?
157733
Are positive real numbers $x,y$ allowed to be taken out during this proof?
148571
Simplify function notation
87257
How to prove this sequent using natural deduction?
71725
$\mathcal N (A):=\mathcal P(A)\setminus\{\varnothing\}$ notation
52416
The final number after $999$ operations.
46613
What's the difference between $\equiv$ and $\leftrightarrow$ in a formal proof?
20988
Notation for specifying the fractional part of a number
19260
What does the notation $q^k || n$ mean?
144633
Verification of proof involving logarithms and limits
150496
What alternative notation of subscripts/superscripts that are also treated as SYMBOLS in Mathematica?
13111
What does this $\asymp$ symbol mean? (subject: analytic number theory)
122076
A one line proof that one is zero using Mathematica 10
146867
Combinatorial Proof Of A Number Theory Theorem--Confusion
56945
What does the math notation $\sum$ mean?
141260
Prove using the formal definition of a limit that
15380
Notation for intervals