Como todos los días se aprende algo nuevo, hoy descubrí que en Unicode existe el símbolo matemático
⋙
que se llama algo así como «mucho, mucho mayor que», superando a
≫
«mucho mayor que», que a su vez supera a
>
«mayor que».
La sutil diferencia al expresarlo como entidades HTML es que mayor que es > mientras que mucho mayor que es ≫ (la g en mayúscula). Se supone que también existe ≫ para mucho, mucho mayor que, pero a mí me sale igual que Gt; (con dos símbolos, no tres). Para conseguir el triple > hay que utilizar el código hexadecimal #x22D9 que se escribe ⋙
Todo esto tiene sus equivalentes en sentido contrario, claro: < ≪ y ⋘.
(Vía un viejísimo post de Taw’s Blog.)