I was solving one question and came across the below expression
$\{ \forall x, \alpha \rightarrow (\exists y, \beta \rightarrow (\forall u, \exists v, y) \}$
My query was, that does the comma here means the below expression?
$\{ \forall x( \alpha \rightarrow (\exists y(\beta \rightarrow (\forall u, \exists v, y))) \}$