larger rightharpoonup; add note about the symbol to notation sec

[williamdemeo]

Description

Closes #325

Checklist

• [X] Commit sequence broadly makes sense and commits have useful messages
• [X] Code is formatted according to CONTRIBUTING.md
• [X] Self-reviewed the diff

[WhatisRT]

Note that this PR still needs to be rebased before it can be merged.