It's sometimes convenient to have different notations for "$A$ is a subset of $B$" depending on what the inclusion map does:

- If it's non-surjective, $A\subsetneq B$ or $A\subset B$, depending on your religion
- If it's surjective, $A=B$ :)
- If the image is a precompact set, $A\Subset B$

Does there exist notation to indicate that the inclusion $A\hookrightarrow B$ is a homotopy equivalence? I'd like to use something similar to 1-3.