\(\pi_1(\Sigma_g) = \left\langle{\left\{{a_i, b_i}\right\}_i^n {~\mathrel{\Big\vert}~}\prod_i^g [a_i, b_i]}\right\rangle\)