a language and a set of functions for writing mathematical proofs and calculations.

variables

x = 7 y = 10 z = x + 7

functions f(x) = 2x g(x) = x + 1

f(g(x)) = 2(x+1)

symbols

+ - * / basic math operrators

` denotes a comment

|| absolute value

< > greater than and less than

! factorial