As a freshman, I "invented" the notation
$H \lhd ! \; G$
to say that $H$ is a characteristic subgroup of $G$, i.e. a subgroup invariant under any automorphism of $G$ (whereas a normal subgroup $N\lhd G$ is only invariant under the inner automorphisms).