0

I'm trying to produce a labelled list of axioms like so:

\documentclass{article} 
\usepackage{amsmath, amsthm, amssymb}
\begin{document}
\begin{itemize}
    \item[(Reflexivity)] For all $a \in P$ we have that $a \leq a$, 
    \item[(Transitivity)] For all $a,b,c \in P$ s.t. 
                      $a \leq b, b\leq c$ we have that $a\leq c$.
\end{itemize}
\end{document}

But this causes the label to run into the left margin of my document.

How would one add a right-aligned label to this list? Perhaps in a similar fashion to a && in an align environment?

I'd appreciate any help with this one, thanks.

EDIT - It's been suggested that an item regarding altering left margin spacing would fix this problem. While that is an adequate solution to the problem of the text running into the margin, I remain interested in a solution to the problem as posed - i.e. a right aligned label.

FURTHER CLARIFICATION - I realise I haven't quite managed to express myself clearly. I would like a bullet pointed list (in itemise, description, whatever) where I have labels (Reflexivity, Transitivity, Anti-Symmetry) to the right hand side of the list - that is, right aligned to the right hand margin of the page. I was unable to do this in my MWE so they appear as the bullet pointed list. Would anyone be able to show how to create labels on the RHS:

\documentclass{article} 
\usepackage{amsmath, amsthm, amssymb}
\begin{document}
\begin{itemize}
    \item For all $a \in P$ we have that $a \leq a$,    (Reflexivity)
    \item For all $a,b,c \in P$ s.t. 
          $a \leq b, b\leq c$ we have that $a\leq c$.   (Transitivity)
%%Here achieved  with spaces
\end{itemize}
\end{document}
0

Two variants with a description environment, enumitem and eqparbox:

\documentclass{article}
\usepackage[showframe]{geometry}
\usepackage{enumitem}
\usepackage{eqparbox}
\usepackage{amsmath, amsthm, amssymb}

\begin{document}

\begin{description}[font = \normalfont, labelsep = 2em]
    \item[{\eqparbox{A}{(Reflexivity)}}] For all $a \in P$ we have that $a \leq a$,
    \item[\eqparbox{A}{(Transitivity)}] For all $a,b,c \in P$ s.t.
                      $a \leq b, b\leq c$ we have that $a\leq c$.
\end{description}
\vspace{1cm}
\begin{description}[font = \normalfont, labelsep = 2em]
    \item[{\eqparbox{A}{\hfill(Reflexivity)}}] For all $a \in P$ we have that $a \leq a$,
    \item[\eqparbox{A}{\hfill(Transitivity)}] For all $a,b,c \in P$ s.t.
                      $a \leq b, b\leq c$ we have that $a\leq c$.
\end{description}

\end{document} 

enter image description here

Update:

A code for the clarified question, with listliketab:

\documentclass{article}
\usepackage[showframe]{geometry}
\usepackage{enumitem}
\usepackage{listliketab, tabularx, makecell}
\usepackage{amsmath, amsthm, amssymb}

\begin{document}

\storestyleof{itemize}
\begin{listliketab}
\noindent
\begin{tabularx}{\linewidth}{@{}LXl@{}}
 \textbullet & For all $a \in P$ we have that $a \leq a$, & (Reflexivity) \\
\textbullet & For all $a,b,c ∈ P$ s.t. \newline
                          $a \leq b, b\leq c$ we have that $a\leq c$. & \makecell[tl]{\\(Transitivity)}
\end{tabularx}
\end{listliketab}

\end{document} 

enter image description here

  • Thank you for posting. This isn't quite what I had in mind, I've clarified further in the OP. – Ben Nov 21 '17 at 20:32
  • @BenReynolds: I've added a code which corresponds better to what you're asking. – Bernard Nov 21 '17 at 21:15

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.