implement notation select