1: \begin{definition}\label{def:fg}

2: Let $\A=(M,L,K)$ be a chart satisfying the assumptions of Theorem~\ref{thm:k}, define

3:  two automorphisms $f$ and $g$ on the map $M$ of $\A$ as follows:

4: \begin{align}

5:  f(N)=S,\quad f(S)=N,\quad f(v_i)=v_{1-i}\ (0\le i\le

6:  F-1); \label{auto:f}\\

7:  g(N)=N,\quad g(S)=S,\quad g(v_i)=v_{i+6}\ (0\le i\le

8:  F-1). \label{auto:g}

9: \end{align}

10: Here the suffix $i$ of the vertex $v_i$ is understood modulo $F$ as

11: before.  Then we can prove that both of $f$ and $g$ are indeed automorphisms.\end{definition}