The 12AX7 (European type ECC83) is a miniature (noval) dual triode tube. The high-reliability version is the 6057 (E83CC).
The 12AX7 is used in the Type E, and as an error amplifier in the power supplies of many Tektronix instruments, including the 513, where it was chosen for its high gain.