考虑:
\begin{flalign}
\begin{split}
\text{Consider a function}: \pi:N \times N \rightarrow N & \\
\text{such that}: & \\
\pi (k_{1},k_{2}):= \frac{1}{2}(k_{1}+k_{2})(k_{1}+k_{2}+1)+k_{2} \forall \left ( k_{1},k_{2} \right )\epsilon N^{2} & \\
\end{split}
\end{flalign}
答案1
如果它符合你的要求,你可以使用:
\noindent Consider a function:\quad $\displaystyle \pi\colon \mathbb{N} \times \mathbb{N} \rightarrow \mathbb{N}$\\
such that:
\begin{equation}
\pi (k_{1},k_{2}) := \frac{1}{2}(k_{1}+k_{2})(k_{1}+k_{2}+1)+k_{2} \forall \left ( k_{1},k_{2} \right )\in \mathbb{N}^{2} \label{eq:3}
\end{equation}
答案2
我想建议你不是在显示的方程式中混合流动文本和数学公式。相反,
要记住数学排版的一些要点:(a)写\in
而不是\epsilon
来表示集合成员;(b)在第一个等式中写\colon
而不是:
;(c)假设“N”表示整数集合,您可能希望模拟近乎通用的印刷实践并写\mathbb{N}
而不是仅仅N
。
\documentclass{article}
\usepackage{amsmath,amssymb}
\begin{document}
Consider a function
\begin{gather}
\pi\colon\mathbb{N} \times \mathbb{N} \to \mathbb{N} \\
\intertext{such that}
\pi (k_1,k_{2}) \mathrel{:=} \frac{1}{2}(k_1+k_2)(k_1+k_2+1)+k_2
\quad\forall\ (k_1,k_2)\in \mathbb{N}^{2}\,. \notag
\end{gather}
\end{document}
附录:在两列 IEEEtran 类文档中,可以写入:
\documentclass[twocolumn]{IEEEtran}
\usepackage{amsmath,amssymb}
\begin{document}
Consider a function
\begin{gather}
\pi\colon\mathbb{N} \times \mathbb{N} \to \mathbb{N} \\
\intertext{such that}
\pi (k_1,k_2) \mathrel{:=} \frac{1}{2}(k_1+k_2)(k_1+k_2+1)+k_2 \ \forall\ (k_1,k_2)\in\mathbb{N}^2\,. \notag
\end{gather}
(Some more text \emph{after} the equation.)
\end{document}