Support hints in proof search with \p