TeX source:
A' = {5, 6}