TeX source:

B = {6, 7, 8, 9}