change notation in CARMA