Did you know ... Search Documentation:
Predicate latex_for_predicates/3