In
\begin{displaymath}
P_1, \dots P_m \leftarrow Q_1, \dots, Q_n (m, n \ge 0)
\end{displaymath}
I would like to introduce a bit of spacing before (m, n \ge 0)
. Maybe put it on the right side? I don't know what would look best or be most standard. But I do know that I need some spacing.
\quad
or\qquad
before(m, n \ge 0)
?\qquad
s to add the spacing looks pretty nice.