Add more ops :-/
Even more [op]s

Also, don't duplicate notations, just always [Require Import] the Utf8
ones.