There is a common notation in group theory for normal subgroups. Also there is a notation for subnormal subgroups. But quite often we deal with characteristic subgroups. So, my question
Is there a common notation for characteristic subgroups? And if there is no common notation, is this a good idea to denote a characteristic subgroup $H$ of group $G$ in the following manner $H \operatorname{char} G$?
I have seen $N\triangleleft G$ for normal subgroups and $N\blacktriangleleft G$ for characteristic subgroups. This also makes clear that a characteristic subgroup is normal.