Unabbreviation

The alternative, of course, is unabbreviation. Quite apart from the extra labour of typing and printing involved, one’s whole experience of sol-fa (if any) brings home that as signs for distinguishing common sound-relationships single letters are the most efficient mnemonic system, besides being clearer to the eye, even in a single diversion like Point One.

Source: wiktionary

T4. (x)(y)[(x ≪ y) ⊃ ~(y ≪ x)]. Partial unabbreviation of T4 yields ‘(x)(y){(x < y)⋅(x ≠ y) ⊃ ~[(y < x) ⋅ (y ≠ x)]}’.

Source: wiktionary

There are two ways one can handle unabbreviation in a system such as E. The first is to remove all defined constants at the outset by preprocessing the initial expression.

Source: wiktionary

I did find a scattering of rookies to admire, but not nearly as many as last spring, in the great vintage year of ’86, when I had my first, awed look at the Angels’ Wally Joyner, the Rangers’ Pete Incaviglia (an even better Texas youngster, Ruben Siena, didn’t join the club until midseason), the Giants’ Will Clark, and the Athletics’ (“the A’s” has undergone official unabbreviation) Jose Canseco.

Source: wiktionary