The problem:
I'm trying to find an appropriate environment for the listing of hypotheses near the beginning of a mathematics research paper. The hypotheses themselves are mostly text, interspersed with display-style mathematics and the occasional equation
.
Requirements:
- Each hypothesis should be numbered in the same way that equations are numbered, with the number appearing on the right-hand side of the page (if the standard
article
class is used) - The number assigned to a hypothesis should be centred vertically with respect to that hypothesis
- LaTeX should (preferably) handle linebreaks, since each hypothesis is mostly words
- The left-hand margin should be greater than the usual text margin, so that it's inset a little (like with the
enumerate
environment)
Attempts at solution:
Using the
enumerate
environment with theenumitem
package gives almost what I want, but the labels appear on the left-hand side of the page, at the beginning of each item. If they were on the right-hand side, and vertically centred, that would probably suffice. Some example code:\documentclass{article} \usepackage{amsmath,amssymb} \usepackage{enumitem} \begin{document} \begin{enumerate}[label=(H\arabic*)] \item $T>0$ and $\Omega$ is an open, bounded and connected subset of $\mathbb{R}^d$, where $d\in\mathbb{N}$. \label{hyp:domain} \item For every $n\in\mathbb{N}$, $\beta_{n}:\mathbb{R}\to\mathbb{R}$ is nondecreasing, Lipschitz continuous with uniform Lipschitz constant $L_\beta > 0$ and satisfies $\beta_{n}(0)=0$. There is a function $\beta:\mathbb{R}\to\mathbb{R}$ such that $\beta_{n}\to\beta$ locally uniformly on $\mathbb{R}$. \label{hyp:beta} \end{enumerate} \end{document}
Using a left-aligned
array
for each hypothesis gives me the correct margins, alignment and numbering, but it just doesn't seem appropriate to use for something that is a list and mostly text. The spacing between lines is wrong and I'm forever having to insert manual linebreaks and\mbox
's everywhere. Some example code:\documentclass{article} \usepackage{amsmath,amssymb} \usepackage{geometry} \begin{document} \begin{subequations} \begin{align} &\begin{array}{l} \mbox{$T>0$ and $\Omega$ is an open, bounded and connected subset of $\mathbb{R}^d$, where $d\in\mathbb{N}$.} \end{array}\label{hyp:domain} \\ &\begin{array}{l} \mbox{For every $n\in\mathbb{N}$, $\beta_{n}:\mathbb{R}\to\mathbb{R}$ is nondecreasing, Lipschitz continuous with uniform} \\ \mbox{Lipschitz constant $L_\beta > 0$ and satisfies $\beta_{n}(0)=0$.}\\ \mbox{There is a function $\beta:\mathbb{R}\to\mathbb{R}$ such that $\beta_{n}\to\beta$ locally uniformly on $\mathbb{R}$.} \end{array} \end{align} \end{subequations} \end{document}
I should point out that the difference in styles of numbering ( (H1), (H2), etc. for the first example, (1a), (1b), etc. for the second example) isn't so important; I'd probably prefer the second style though.
Is the solution to create a custom hypothesis
environment (which would be pretty handy for future papers), or is there no middle-ground to be had between my above attempts at solution?