Add notation and diagram for restricted profiles.