Add \o for proof search on a metavariable