This symbol is used to represent definite (Cauchy principal value)
integration of unary functions. It takes two arguments; the first being
the range (e.g. a set) of integration, and the second the function.
Commented Mathematical property (CMP):
for all a,b | integral from a to b = -integral from b to a