Add some adjunction notations and scopes