# Just in this theorem enumerate are indented

I used several unemerate in theorem but just one is intented. I musn't use any indentation in my tex. This statement is wrong:

\begin{theorem}
$(\mathbb{R}_{max},\bigoplus,\bigotimes)$ aşağıdaki özellikleri sağlar.
\begin{environment}\leavevmode
\begin{enumerate}
\item $(\mathbb{R}_{max},\bigoplus)$ bir yarı değişmeli gruptur.
\item Çarpma işlemi birleşme ve değişmelidir.
\item Çarpımsal birimi vardır.
\item $\bigotimes$ işleminin $\bigoplus$ işlemi üzerine dağılma özellikleri vardır. Yani, $x,y,z, \in \mathbb{R}_{max}$ için.
\begin{enumerate}
\item $z\bigotimes(x\bigoplus y)=(z\bigotimes x)\bigoplus(z\bigotimes y)$
\item $(x\bigoplus y)\bigotimes z = (x\bigotimes z)\bigoplus(y\bigotimes z)$
\end{enumerate}
\item Toplamsal birim $-\infty$, çarpma işleminin yutan elemanıdır. Yani $x \in \mathbb{R}_{max}$ için $-\infty \bigotimes x=-\infty = x\bigotimes (-\infty)$
\end{enumerate}
\end{enumerate}
\end{theorem}


Another one:

\begin{theorem}
$(\mathbb{R}_{max},\bigoplus,\bigotimes)$'da, $x,y \in \mathbb{R}_{max}$ olamak üzere.
\begin{enumerate}
\item $a^x \bigotimes a^y = a^{x+y}$
\item $(a^x)^y = a^{x.y}$
\end{enumerate}
\end{theorem}


Now, every list are intended except \begin{enumerate}[a)]. Example code: @Bernard

\documentclass[12pt,fleqn]{report}    %% main class file

\usepackage[utf8]{inputenc}   %% necessary for Turkish characters appeared in Özet

%% Some useful packages, u can remove them or add more
\usepackage{amssymb,amsmath,epsfig,rawfonts}
\usepackage{theorem,latexsym}
\usepackage{amsmath,amssymb,natbib}
\usepackage{multicol,multirow}
\usepackage{float}
\usepackage{makecell}
\setcellgapes{3pt}
\usepackage[shortlabels]{enumitem}
\usepackage{paralist}
\usepackage{tikz}
\newcommand*\circled[1]{\tikz[baseline=(char.base)]{
\node[shape=circle,draw,inner sep=2pt] (char) {#1};}}
%\usepackage{makeidx}    %% use this pack to add an index page
%\makeindex              %% to make an index
%\usepackage[numbers]{natbib}
\usepackage{selcuk1}               %% Style file for Selcuk University

\geometry{
paper=a4paper, % Change to letterpaper for US letter
inner=3.0cm, % Inner margin
outer=3.0cm, % Outer margin
bindingoffset=1cm, % Binding offset
top=2cm, % Top margin
bottom=2cm, % Bottom margin
%showframe,% show how the type block is set on the page
}

\renewcommand{\baselinestretch}{1.5}
\begin{document}
%non-working code:
\begin{theorem}
$(\mathbb{R}_{max},\bigoplus,\bigotimes)$ aşağıdaki özellikleri sağlar.
\begin{enumerate}
\item $(\mathbb{R}_{max},\bigoplus)$ bir yarı değişmeli gruptur.
\item Çarpma işlemi birleşme ve değişmelidir.
\item Çarpımsal birimi vardır.
\item $\bigotimes$ işleminin $\bigoplus$ işlemi üzerine dağılma özellikleri vardır. Yani, \mbox{$x,y,z, \in \mathbb{R}_{max}$} için.
\begin{enumerate}
\item $z\bigotimes(x\bigoplus y)=(z\bigotimes x)\bigoplus(z\bigotimes y)$
\item $(x\bigoplus y)\bigotimes z = (x\bigotimes z)\bigoplus(y\bigotimes z)$
\end{enumerate}
\item Toplamsal birim $-\infty$, çarpma işleminin yutan elemanıdır. Yani $x \in \mathbb{R}_{max}$ için $-\infty \bigotimes x=-\infty = x\bigotimes (-\infty)$
\end{enumerate}
\end{theorem}

\end{document}

• Welcome to the TeX.SE. I have edit your post. Now is more clear. – Sebastiano Dec 23 '16 at 18:29
• What is the environment environment? – Bernard Dec 23 '16 at 18:49
• When I add environment list numbers don't over theorem. – amateurboy Dec 23 '16 at 18:53
• ?? I don't understand. – Bernard Dec 23 '16 at 19:09
• I used it in this tex another theorem and it didn't affect. – amateurboy Dec 23 '16 at 19:11

Is it something like this you want? I loaded enumitem and used the wide=0pt option. I changed the list labels to upshape, as I think it's nicer in an italic context. It may be set automatically in theorem environments with etoolbox:

\documentclass{article}%
\usepackage[utf8]{inputenc}%
\usepackage[T1]{fontenc} %

\usepackage{amsmath, amsfonts, amssymb}%
\usepackage{amsthm} \theoremstyle{plain}
\newtheorem{theorem}{Teorem}[section]

\usepackage{enumitem}%
\usepackage{etoolbox}
\AtBeginEnvironment{theorem}{\setlist[enumerate]{font=\em, wide=0pt, leftmargin=*}}

\begin{document}%
\setcounter{section}{2}%

\begin{theorem}
$(\mathbb{R}_{\max},\bigoplus,\bigotimes)$ aşağıdaki özellikleri sağlar.
\begin{enumerate}
\item $(\mathbb{R}_{\max},\bigoplus)$ bir yarı değişmeli gruptur.
\item Çarpma işlemi birleşme ve değişmelidir.
\item Çarpımsal birimi vardır.
\item $\bigotimes$ işleminin $\bigoplus$ işlemi üzerine dağılma özellikleri vardır. Yani, $x,y,z, \in \mathbb{R}_{\max}$ için.
\begin{enumerate}
\item $z\bigotimes(x\bigoplus y)=(z\bigotimes x)\bigoplus(z\bigotimes y)$
\item $(x\bigoplus y)\bigotimes z = (x\bigotimes z)\bigoplus(y\bigotimes z)$
\end{enumerate}
\item Toplamsal birim $-\infty$, çarpma işleminin yutan elemanıdır. Yani $x \in \mathbb{R}_{\max}$ için $-\infty \bigotimes x=-\infty = x\bigotimes (-\infty)$
\end{enumerate}
\end{theorem}

\end{document}


• It doesn't work in my tex. I will try some combination. – amateurboy Dec 23 '16 at 19:30
• Which distribution do you have, and what does the .log file say? – Bernard Dec 23 '16 at 19:32
• Miktex 2.9, Texstudio on Windows 10. </br> \begin{theorem} on input line 402 ended by \end{enumerate}. \end{enumerate} – amateurboy Dec 23 '16 at 19:43
• Did you compile the code in my answer??? Your code had a \begin{environment} not paired with \end{environment} (undefined anyway) and a \end{enumerate} corresponding to no \begin{enumerate}. Also, is enumitem installed on your system? – Bernard Dec 23 '16 at 19:51
• You also had a lonely last \end{enumerate}. – Bernard Dec 23 '16 at 20:01