g-bang symbol predicate