Comprobación avanzada de símbolos | Dotyping