Other notations