ISL^FOL cardinal direction: t is below u. Converse of above. Minted under the reopened converse-minting default (redesign_proposal.md §12), wired to above via rel_inverse_of.