Symbolic statements can be manipulated by rules of mathematical logic to produce other statements of the same relationship, which may show some interesting aspect more clearly. Symbolic statements can be combined to look for values of variables that will satisfy all of them at the same time.

No closely related standards have been identified.