A Maths_complex is a Maths_atom that is a real value.
NOTE - For efficiency Maths_atom is a TYPE rather than and ENTITY in the EXPRESS. Hence Maths_complex is referenced by Maths_atom rather than a SUBTYPE of Maths_atom.
EXPRESS specification:
*) TYPE Maths_complex = LIST [2,2] OF REAL; END_TYPE; (*