* [[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]]