Zdroj TeX:
A: A \notin k_1 , A \notin p