\typeout{ofpage style by K.Yasuoka, March 1998}%
\def\ps@ofpage{%
  \let\@oddhead=\relax
  \let\@evenhead=\relax
  \def\@oddfoot{%
    \centerline{%
      \raise 1ex\hbox{\arabic{page}}%
      \hskip -0.2em\relax
      {\Large /}%
      \hskip -0.2em\relax
      \lower 1ex\hbox{\ofpage@last}%
    }%
  }%
  \let\@evenfoot=\@oddfoot
}%
\def\ofpage@last{0}%
\let\ofpage@enddocument=\enddocument
\def\enddocument{%
  \clearpage
  \@tempcnta=\c@page
  \advance\@tempcnta by -1\relax
  \immediate\write\@mainaux{\string\gdef\string\ofpage@last{\the\@tempcnta}}%
  \ifnum\ofpage@last=\@tempcnta
  \else
    \typeout{ofpage style WARNING: last page unmatched.}%
    \immediate\write\@mainaux{\string\@tempswatrue}%
  \fi
  \ofpage@enddocument
}%
\pagestyle{ofpage}%

