the abstract math expression