is mentioned by

Def r == < r >

[pred_rel]

Try larger context: GenAutomata