Van_der_Waerden_notation loading ...