Ok, that’s fair. It’s hard to know which notation is common knowledge, but I think that adding a sentence explaining this one will help readers who haven’t studied game theory formally.
Maybe making all vector profiles bold (like for the action profile) would help to see at a glance the type of the parameter. If I had seen it was a strategy profile, I would have inferred immediately what it meant.
Ok, that’s fair. It’s hard to know which notation is common knowledge, but I think that adding a sentence explaining this one will help readers who haven’t studied game theory formally.
Maybe making all vector profiles bold (like for the action profile) would help to see at a glance the type of the parameter. If I had seen it was a strategy profile, I would have inferred immediately what it meant.