Fuente TeX:

si A \notin POS \land A \rightarrow \alpha \in P \land \alpha  \in (POS \cup T^*)