Another option is to use Greek lower-case letters to represent such metavariable predicates.
另一种选择是使用小写希腊字母来表示这种元变量谓词。