5.523

The generality symbol occurs as an argument.

459