# How do I completely suppress paragraph indentation in quoting environment without \noindent?

\documentclass[oneside,12pt]{article}
\usepackage{geometry}
\usepackage{microtype}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{lmodern}

\usepackage{enumitem}
\setlist[enumerate,1]{label=\arabic*.,align=left,leftmargin=*,
labelsep=1.5em}

\usepackage{quoting}
\quotingsetup{vskip=1em}

\begin{document}
\subsection*{Exercises 27}
Take the following q-valuation:
\begin{quoting}
The domain is \{Romeo,Juliet,Benedick,Beatrice\}

\noindent Constants are assigned references as follows:
\begin{quoting}
\texttt{m'}$\Rightarrow$Romeo

\noindent\texttt{n'}$\Rightarrow$Juliet
\end{quoting}

\noindent Predicates are assigned extensions as follows:
\begin{quoting}
F'$\Rightarrow$\{Romeo,Benedick\}\\
G'$\Rightarrow$\{Juliet,Beatrice\}\\
L'$\Rightarrow$\{<Romeo,Juliet>,<Juliet,Romeo>,<Benedick,
Beatrice><Beatrice,Benedick>,<Benedick,Benedick>\}
\end{quoting}
\end{quoting}
Then what are the truth values of the following wffs?
\begin{enumerate}[nosep]
\item $\exists xLmx$
\item $\forall xLxm$
\item $(\exists xLmx\supset Lmn)$
\item $\forall x(Fx\equiv\neg Gx)$
\item $\forall x(Gx\supset(Lxm\vee\neg Lmx))$
\item $\forall x(Gx\supset\exists yLxy)$
\item $\exists x(Fx\wedge\forall y(Gy\supset Lxy))$
\end{enumerate}
\end{document}


I want to suppress paragraph indentation in quoting environment concisely without \noindent.

Beside the issue, I have a line that doesn't break before the right side of the page. How do I fix it? I want to typeset as below. Ignore the yellow highlighting in the picture below.

• You mean you want to suppress the environment indentation (not the paragraph indentation)? Feb 23, 2016 at 2:38
• @Bernard I want to suppress paragraph indentation inside quoting environment. Feb 23, 2016 at 2:38
• Use the indentfirst=false option. Feb 23, 2016 at 2:44
• @Bernard indentfirst=false resulted in unexpected paragraph indentations. Feb 23, 2016 at 2:44
• Why are you using quotation environments here exactly?
– cfr
Feb 23, 2016 at 3:08

I don't recommend abusing quotation environments here. Not that abusing them is generally bad - they are just lists, basically - but I think something like an array or tabular is more suitable.

Here's an assign environment:

\documentclass[oneside,12pt]{article}
\usepackage[showframe]{geometry}
\usepackage{microtype}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{lmodern}
\usepackage{enumitem}
\setlist[enumerate,1]{label=\arabic*.,leftmargin=3\parindent,labelwidth=\parindent, align=left}
\usepackage{quoting}
\quotingsetup{vskip=1em}
\usepackage{array,tabularx}
\newenvironment{assign}[1]{%
\noindent #1
\medskip\par\noindent
\tabularx{\linewidth}{>{\ttfamily\arraybackslash}l!{$\Rightarrow$}>{\raggedright\arraybackslash}X}
}{\endtabularx\medskip\par\noindent}

\begin{document}
\subsection*{Exercises 27}
Take the following q-valuation:
\begin{quoting}
The domain is \{Romeo,Juliet,Benedick,Beatrice\}

\begin{assign}{Constants are assigned references as follows:}
m'&Romeo\\
n'&Juliet\\
\end{assign}
\begin{assign}{Predicates are assigned extensions as follows:}
F'&\{Romeo,Benedick\}\\
G'&\{Juliet,Beatrice\}\\
L'&\{<Romeo,Juliet>, <Juliet,Romeo>, <Benedick,Beatrice>, <Beatrice,Benedick>, <Benedick,Benedick>\}\\
\end{assign}
\end{quoting}
Then what are the truth values of the following wffs?
\begin{enumerate}[noitemsep]
\item $\exists x\, Lmx$
\item $\forall x\, Lxm$
\item $(\exists x\, Lmx\supset Lmn)$
\item $\forall x\, (Fx\equiv\lnot Gx)$
\item $\forall x\, (Gx\supset(Lxm\vee\lnot Lmx))$
\item $\forall x\, (Gx\supset\exists y\, Lxy)$
\item $\exists x\, (Fx\land\forall y\, (Gy\supset Lxy))$
\end{enumerate}
\end{document}


The only reason your one spilling-over environment spills over is that it contains no spaces so TeX can't break the line.

• Can you explain \par and \arraybackslash? And, .85\linewidth looks like a hack. I'd rather have the length adapt to the surrounding. Feb 23, 2016 at 23:02
• The \par and skip are just to add some vertical spacing because things looked too close otherwise. (There's no vertical spacing as there would be putting tabular into a table, for example. The \arraybackslash ensures you can still end rows with \. The .85\linewidth is a hack, yes.
– cfr
Feb 23, 2016 at 23:05
• @crocket Now it isn't a hack, though. At least, certainly, .85\linewidth is no longer a hack... ;).
– cfr
Feb 23, 2016 at 23:16
• Everything is good now. Feb 24, 2016 at 0:12
• LaTeX Is not great for logicians, I think. Not for formal symbolic logic of the kind philosophers do, anyway. (I don't know if mathematicians do this kind of thing but I assume not because LaTeX tends to have the tools for mathematicians. If it doesn't, a mathematician writes them.)
– cfr
Feb 24, 2016 at 0:49

\usepackage{etoolbox}