notations

Here’s some users with notations in their profile.