Según esta definición, las siguientes cadenas de caracteres son fórmulas bien formadas: