SympSnip:

definition 0.0.1

Let (Σg,{αi}i=1g,{βi}i=1g) be a Heegaard diagram. We say that another diagram (Σg,{αi}i=1g,{βi}i=1g) is related to (Σg,{αi}i=1g,{βi}i=1g) by an