#logical symbol #correct notation #valid character #formula check #function symbol