zar to dewdney-ita

Ma perché i traduttori di Gödel, Escher, Bach hanno tradotto TNT con AT? Non è molto più bello Teoria dei Numeri Tipografica? Erano disturbati dalla D in mezzo?