some notations for opsem