S

From CS2800 wiki
  • [math]S~n [/math] is used to denote the successor of [math]n [/math] (i.e. [math]n+1 [/math]) in the definition of the natural numbers.