* [[https://www.rapidtables.com/math/symbols/Basic_Math_Symbols.html|Math Symbols]] * [[https://www.khanacademy.org/math|Khan Academy Math]] * [[https://ocw.mit.edu/courses/mathematics/18-701-algebra-i-fall-2010/index.htm|Algebra I]] * [[Math:Coq Notes]]