Fuente TeX:

POS \leftarrow POS \cup {A}