With math environments from amsmath
package, like multline
, you can set multi line equations:
\documentclass[10pt,a4paper]{article}
\usepackage[margin=25mm]{geometry}% <-- added
\usepackage{amsmath}
\usepackage{array,longtable}
\newcolumntype{L}{>{\centering}m{5cm}}
\newcolumntype{j}{m{5cm}}% <-- corrected, it is not used in MWE
\setlength{\extrarowheight}{2.5mm}
\begin{document}
{\renewcommand{\arraystretch}{1.7}
\begin{longtable}{ >{$}l<{$} % <-- put column cells in math mode
L
>{$}l<{$}% <-- put column cells in math mode
}
%
\overline{X}\cdotp Y\cdotp Z +
\overline{X\cdotp\overline{Y}\cdotp\overline{Z} + X \cdotp Y\cdotp Z}
&
Use De Morgan's law\newline [OR to AND]
&
\begin{aligned}[t]% <-- amsmath environment, which enable
% to write muti line equations,
% option [t] align environment baseline to top
\overline{A+B} = \overline{A}\cdotp\overline{B},
&\quad A = X \cdotp \overline{Y} \cdotp \overline{Z},\\
&\quad B = X \cdotp Y \cdotp Z
\end{aligned} \\
%
\overline{X}\cdotp Y\cdotp Z +
\overline{X\cdotp\overline{Y}\cdotp\overline{Z} + X\cdotp Y\cdotp Z}
&
Use De Morgan's law\newline [OR to AND]
&
\overline{A+B} = \overline{A}\cdotp\overline{B}
%
\end{longtable}
}
\end{document}
I assume, that your table in real document will occupy more pages, so I left logtable
for table environment. If it will be only on one page, than you should consider to use tabular
instead longtable
.
I see no other sensible way than as follows:
\documentclass{article}
\usepackage{amsmath}
\newcommand{\bvar}[1]{\mathbf{#1}}
\newcommand{\bM}{\bvar{M}}
\newcommand{\bN}{\bvar{N}}
\newcommand{\bR}{\bvar{R}}
\begin{document}
\begin{align}
&\sup_{\bN}V_{\bN, S, \varphi}\langle S_{\bM, S, \bN, \varphi}(m+_{\bM}n)\rangle
\notag \\
&\qquad\geq_{\bN}\sup_{\bN}
V_{\bN, S, \varphi}\langle S_{\bM, S, \bN, \varphi}(m)
+_{\bR^{(S)}_{\bN, \varphi}} S_{\bM, S, \bN, \varphi}(n) \rangle
\label{eq:1}\\
&\qquad= \sup_{\bN}
\bigl(V_{\bN, S, \varphi}\langle S_{\bM, S, \bN, \varphi}(m)\rangle
+_{\bR^{(S)}_{\bN, \varphi}} V_{\bN, S, \varphi}
\langle S_{\bM, S, \bN, \varphi}(n) \rangle
\bigr)
\label{eq:2}\\
&\qquad\geq_{\bN} \sup_{\bN}
\bigl(V_{\bN, S, \varphi}\langle S_{\bM, S, \bN, \varphi}(m)\rangle)
+_{\bN} \sup_{\bN}(V_{\bN, S, \varphi}\langle S_{\bM, S, \bN, \varphi}(n) \rangle
\bigr),
\label{eq:3}
\end{align}
Referencing eq.~\ref{eq:1}.
\end{document}
Best Answer
You could load the
amsmath
package, set up an unnumbered display math environment, and use the\tag*
macro to right-justify the explanatory string. For instance:(The vertical lines just indicate the boundaries of the textblock.)
Addendum -- The method shown above manages to center the equation on the textblock if the argument of
\tag*
is no wider than roughly 1". If you need to typeset more text than fits in a single 1"-long line, I suggest you put it in atabular
environment, as follows -- again, the vertical framelines are just there to to indicate the edges of the textblock: