MathGloss/A/Absolute Value Rules

1)abs(a2) = a2

2)abs(a + b) <= abs( a ) + abs ( b)