Update doc WRT @4, @6, @ notations