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 qué», que a su vez supera a
>
«mayor qué».
La sutil diferencia al expresarlo como entidades HTML es que mayor qué es > mientras que mucho mayor qué es ≫ (la g en mayúscula). Se supone que también existe ≫ para mucho, mucho mayor qué, pero a mi 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.)