reserved notation