Thank you, this was incredibly helpful. As a side effect, when I was trying to find if there is a way to add these to a custom palette, I did find palette's I failed to previously notice - "Relational Round" and "Arrows" that had the typesetting part in them.  Between that and your operator implementation, I'm golden

@sand15