\documentclass[12pt,fleqn]{report}
\usepackage[all]{xy}
\usepackage{setspace}
\usepackage{verbatim}
\doublespacing
\usepackage{xepersian}
\settextfont{XB Niloofar}
\setdigitfont{XB Zar}
\newfontinstance\nastaliq[Script=Arabic,Scale=1]{IranNastaliq}
\setromantextfont{XB Niloofar}
\setlength{\textheight}{670pt}
\addtolength{\textwidth}{0.25cm}
\addtolength{\oddsidemargin}{-0.85cm}
\numberwithin{table}{chapter}
\numberwithin{figure}{chapter}
\newcommand{\C}{\mathbb{C}}
\newcommand{\R}{\mathbb{R}}
\newcommand{\N}{\mathbb{N}}
\newcommand{\Z}{\mathbb{Z}}
\newcommand{\mc}[1]{\mathcal{#1}}
\newcommand{\mr}[1]{\mathrm{#1}}
\DeclareMathOperator{\supp}{supp}
\DeclareMathOperator{\limit}{limit}
\DeclareMathOperator{\diam}{diam}
\DeclareMathOperator{\sspan}{span}
\DeclareMathOperator{\sgn}{sgn}
\DeclareMathOperator{\sech}{sech}
\DeclareMathOperator{\csch}{csch}
\DeclareMathOperator{\Arc}{Arc}
\DeclareMathOperator{\Arch}{Arch}
\DeclareMathOperator{\im}{im}
\DeclareMathOperator{\Img}{Im}
\DeclareMathOperator{\Rel}{Re}
\DeclareMathOperator{\dec}{dec}
\DeclareMathOperator{\op}{op}
\DeclareMathOperator{\nd}{nd}
\DeclareMathOperator{\ball}{ball}
\DeclareMathOperator{\Arcsin}{Arcsin}
\DeclareMathOperator{\Arccos}{Arccos}
\DeclareMathOperator{\Arctan}{Arctan}
\DeclareMathOperator{\Arccot}{Arccot}
\DeclareMathOperator{\Arcsec}{Arcsec}
\DeclareMathOperator{\Arccsc}{Arccsc}
\theoremstyle{definition}
\newtheorem{تعریف}{تعریف}[section]
\newtheorem{تذکر}[تعریف]{تذکر}
\newtheorem{مثال}[تعریف]{مثال}
\newtheorem{گزاره}[تعریف]{گزاره}
\newtheorem{مسئله}[تعریف]{مسئله}
\newtheorem{لم}[تعریف]{لم}
\newtheorem{قضیه}[تعریف]{قضیه}
\newtheorem{نتیجه}[تعریف]{نتیجه}
%\SepMark{-}
\usepackage{fancyhdr}
%\pagestyle{fancy}
\renewcommand{\chaptermark}[1]{\markboth{#1}{}}
\renewcommand{\sectionmark}[1]{\markright{\thesection\ #1}}
\fancyhf{}
\fancyhead[RE,LO]{\bfseries\thepage}
\fancyhead[RO]{\bfseries\rightmark}
\fancyhead[LE]{\bfseries\leftmark}
\renewcommand{\headrulewidth}{0.5pt}
\renewcommand{\footrulewidth}{0pt}
\addtolength{\headheight}{-1.48cm}
\fancypagestyle{plain}{\fancyhead{} \renewcommand{\headrulewidth}{0pt}}
\begin{document}


کادیسون ثابت کرد که هر فضای برداری حقیقی مرتب با یکه ترتیبی ارشمیدسی
را می‌توان از طریق
یک نگاشت حافظ ترتیب که یکه ترتیبی را به تابع ثابت 1 می‌برد، به شکل یک زیرفضای برداری از فضای توابع
حقیقی مقدارِ پیوسته روی یک فضای هاسدورفِ فشرده نمایش داد.











\end{document}