Notation to define a function mapping from a vector to a two-dimensional matrix

Question

I have a set $\mathcal{D}$, and I'm trying to define a mapping from that set to a two-dimensional matrix where each location contains either a $1$ or $0$.

The notation I am using is $\mathbf{P^{\omega}} : \mathcal{D} \to \{0, 1\}^{|R| \times |\ \mathcal{D}|}$.

Is this correct?

Answer 1

As per request, I post my comment as an answer:

I'd use the notation $\mathcal D\to M_{|R|\times |\mathcal D|}(\{0,1\})$ to insist that we are talking about matrices ($M$) of certain dimensions ($|R|\times |\mathcal D|$) with elements in a certain set ($\{0,1\}$).