\documentclass[11pt , a4paper]{report}
\usepackage[all]{xy}
\usepackage{amsthm, amssymb, amsmath,amsfonts,fancyhdr,color,xspace,hyperref,latexsym,amscd,tikz}
%\usepackage{amsthm, amssymb, amsmath,amsfonts,fancyhdr,color,xspace,hyperref,latexsym,amscd,tikz} 
%\usepackage{glossaries}
\usepackage[xindy]{glossaries}
\usepackage{fancyhdr}
\pagestyle{fancy}
%\fancyhead{} 
%\fancyhead[L]{\slshape \rightmark}
%\fancyhead[R]{\slshape \leftmark}
\usepackage{graphicx}
\fancyfoot{} 
\fancyfoot[C]{\thepage}
\renewcommand{\headrulewidth}{0.6pt}
\usepackage{tocbibind}
\usepackage{makeidx}
\makeindex
\usepackage{xepersian}
\numberwithin{equation}{section}
\settextfont[Scale=1.2]{Yas} 
\setdigitfont[Scale=1.2]{Yas}
\setlatintextfont{Yas}
\linespread{2}
%\def\e{\eta}
%\def\x{\overline{x}}
%\def\n{\frac{1}{n}}
%\def\a{\alpha}
%\def\t{\theta}
%\def\d{\delta}
%\def\la{\lambda}
%\def\m{\mu}
%\def\o{\Omega}
%\def\p{\partial}
%\def\l{\partial_{L}
\newcommand\persiangloss[2]{#1\dotfill\lr{#2}\\}
\newcommand\englishgloss[2]{#2\dotfill\lr{#1}\\}
\def\addsymbol #1:#2#3{$#1$ \> \parbox{4in}{#2 \dotfill \pageref{#3}}\\} 
\def\symboldisplay#1{\label{#1}} 
\theoremstyle{definition}\newtheorem{de}{تعریف}[section]
\theoremstyle{plain}\newtheorem{thh}[de]{قضیه}
\theoremstyle{plain}\newtheorem{pr}[de]{گزاره}
\theoremstyle{plain}\newtheorem{rem}[de]{نکته}
\theoremstyle{plain}\newtheorem{lee}[de]{لم}
\theoremstyle{plain}\newtheorem{cor}[de]{نتیجه}
\theoremstyle{definition}\newtheorem{exa}[de]{مثال}
\theoremstyle{plain}\newtheorem{qu}[de]{سوال}
%renewcommand\proofname{\textbf{برهان}}
\renewcommand{\bibname}{\textbf{مراجع}}
\pagenumbering{arabic}
\makeglossaries
\begin{document}
\footnote{$Karl~Menger$}
 او به‌ویژه بیان کرد که ابرمکان توابع $n$-مکانی که $n$ یک عدد طبیعی ثابت است، خاصیتی شبیه به شرکت‌پذیری دارد که آن را ابرشرکت‌پذیری نامید. همان‌طور که بعدا ثابت شده‌است، به‌نظر میگلی است که در سال 1979 توسط بی. ام. شین و وی. اس. تروخیمنکو آماده شد.\\
پایان\begin{center}
$  x[a_1...a_n] = b~~~,~~~a_0[a_1...a_{i-1}x_i a_{i+1}...a_n] = b$
\end{center}
 در فصل سه و در بخش اول آن نمایش‌هایی از مجموعه‌های توابع $ n $-مکانی که تحت ابرمکان‌های مان\footnote{$ Mann's~superposition $} بسته‌اند را توصیف می‌کنیم و در بخش دوم مجموعه‌های توابع چند مکانی که با توجه به مان و ابرمکان منگر بسته‌اند توصیف می‌شود.
 \begin{center}
$\rho \langle a \rangle = \{b \vert (a,b) \in \rho\}~~~,~~~ \rho (H) = \bigcup \{\rho \langle a \rangle \vert a \in H\}.$
\end{center}
\printglossaries
%\documentclass[10pt,a4paper]{article}
%\usepackage[latin1]{inputenc}
%\usepackage{amsmath}
%\usepackage{amsfonts}
%\usepackage{amssymb}
%\begin{document}
\end{document}