I want to make a tikz-cd diagram (for simplicity, let's just make it one vertical arrow, though I actually am working with a square) which also says that some objects are subsets of other sets, or subgroups of other groups. However, with all solutions I came up with, I end up with either weird spacing or weird arrow placement (two can be found in the MWE). Is there a correct (preferably non-hacky) way to do it?
MWE:
\documentclass{article}
\usepackage{tikz-cd}
\begin{document}
\begin{tikzcd}
A&\supseteq&B\ar[d]\\
&&G&\leq&H
\end{tikzcd}
\begin{tikzcd}
A\supseteq B\ar[d]&\\
G\leq H
\end{tikzcd}
\end{document
Edit: Unfortunately, the proposed solutions do not really solve my problem. I would also like to include bigger diagrams (my actual use case is a square diagram, but ideally, one should be able to do that for more exotic ones as well). More importantly, none of the solutions seems to work right in case when one item in the diagram has a significantly longer label (as is true in my use case).
Here is an amended MWE:
\documentclass{article}
\usepackage{tikz-cd}
\begin{document}
\begin{tikzcd}
A&\supseteq&C\ar[d]\ar[dr]\ar[r]&\textrm{SomewhatLongLabel}\ar[d]&\leq&\textrm{AlsoQuiteLong}\\
&&F&G&\leq&H
\end{tikzcd}
\end{document}
(Bonus points if you can somehow fit an arrow from A to F in a nice way, but I don't need it, for now.)