are these the standard names for these keys (numpad operator keys)? Are there standard names for these?