3

enter image description here

\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.

enter image description here

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

2 Answers 2

3

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}

assignments

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

7
  • Can you explain \par and \arraybackslash? And, .85\linewidth looks like a hack. I'd rather have the length adapt to the surrounding.
    – crocket
    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
  • 1
    Everything is good now.
    – crocket
    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
5

Add these lines to your preamble:

\usepackage{etoolbox} 
\AtBeginEnvironment{quoting}{\parindent=0pt}

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.