Is there a notation for the statement $H$ is isomorphic to a subgraph of $G$? I was thinking of using $H<G$, but I'd like to use standard notation if possible.



Notation for H is isomorphic to a subgraph of G
Inspired by the $\simeq$ notation for isomorphic structures, I would suggest $\lesssim$, $\prec$, $\precsim$, or [this symbol](https://tex.stackexchange.com/questions/108403/how-to-create-subset-with-sim-symbol).


The pair of symbols $\prec$ and $\precsim$ have the advantage of providing a symbol for both allowing and discarding equality.


