TeX source:
b^{\prime} \notin A