\documentclass[11pt,a4paper,twoside]{article}
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{fancyhdr}
\usepackage{amsthm}
\usepackage{rotate}
\usepackage{graphicx}
%\usepackage{psfrag}
\usepackage[T1]{fontenc}

\usepackage{afterpage}  %

\textheight190mm
\renewcommand{\thefootnote}{}
\def\t{\hspace{-6mm}{\bf .}\hspace{3mm}}
\def\bt{\hspace{-2mm}{\bf .}\hspace{2mm}}
\def\hs{\hspace*{0.56cm}}
\setlength{\oddsidemargin}{0pt} \setlength{\evensidemargin}{0pt}
\setlength{\hoffset}{-1in} \addtolength{\hoffset}{3.5cm}
\setlength{\textwidth}{12.5cm} \setlength{\voffset}{-1in}
\addtolength{\voffset}{3cm}
\setcounter{page}{11}                                       %%%%%%%%%%%%%%%%%  starting page
\fancyhead{} \fancyfoot{} \fancyhead[CO]{\small
Quasigroups~and~Related~Systems ~{\bf 10}~(2003), xx -- yy}  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\renewcommand{\headrulewidth}{0.4pt}
\pagestyle{fancy}

\begin{document}
%\input{bop-hax.tex}
%\mirror

\afterpage{\rhead[]{\thepage} \chead[\small A. B. First and C. D.         %%%%%%%%% complete
Second Author]{\small  Short title} \lhead[\thepage]{} }                  %%%%%%%%% complete

\begin{center}
\vspace*{2pt}
{\Large \textbf{The full title of the paper}}\\[3mm]
{\Large\textbf{continue or delete this line}}\\[36pt]
{\large \textsf{\emph{Author(s) with the full form of name(s) }}}
\\[36pt]
\textbf{Abstract}
\end{center}
{\footnotesize In this paper }

\footnote{\textsf{2000 Mathematics Subject Classification:} .....
}

\footnote{\textsf{Keywords:} .... }

\section*{\centerline{1. Introduction}}

A groupoid is \emph{medial} if it satisfies the identity $wx\cdot
yz = wy\cdot xz$. A groupoid is \emph{trimedial} if every
subgroupoid generated by $3$ elements is medial.

In \cite{kepka1} it is proved that a quasigroup satisfying the
following three identities must be trimedial.
\begin{eqnarray}
xx\cdot yz &=& xy\cdot xz \\
yz\cdot xx &=& yx\cdot zx \\
(x\cdot xx)\cdot uv &=& xu \cdot (xx\cdot v)
\end{eqnarray}

\noindent The converse is trivial, and so these three identities
characterize trimedial quasigroups. Here, we show that, in fact,
(2) and (3) are sufficient to characterize this variety (as a
subvariety of the variety of quasigroups).

\section*{\centerline{2. Medial quasigroups}}

 \noindent {\bf Theorem.} {\em Let $G$ be a quasigroup...}


\begin{proof} If $G$ is a quasigroup...\noindent

\end{proof}

\noindent {\bf Corollary.} {\em Let $G$ be a quasigroup...}

\bigskip\noindent {\bf Remark.} It is only an example. The paper
accepted for publication in our journal must be prepared in Latex,
Amstex or similar style preserving the general convention
presented in this form.


\begin{thebibliography}{20}
\bibitem{kepka1}
{\bf T. Kepka}: {\em Structure of triabelian quasigroups},
Comment. Math. Univ. Carolin. \textbf{17} (1976), no. $2$,
$229-240$.

\end{thebibliography}

\noindent
\footnotesize{Full address, for example \\
         Institute of Mathematics\\
         Technical University of Wroc{\l}aw\\
         Wybrze\.ze Wyspia\'nskiego 27 \\
         50-370 Wroc{\l}aw\\
         Poland\\
e-mail: dudek@im.pwr.wroc.pl }


\end{document}