How to convert "agent" to "?agent"

You’d simply use option{agent}.

4 Likes