Correction

Notation3(Separated)&related def.