Williams tube
The Williams tube used in Baby was based on the CV1131, a commercially available diameter CRT, but a smaller tube, the CV1097, was used in the Mark I.