Capital_pi_notation loading ...