Indentation Tex

Question

I need to put the text as follows, but i don't see how.

Please help me.

\documentclass{article}
\usepackage{amsmath, amssymb}

\begin{document}
$$\llbracket \Phi_{1}(\vec{a})\wedge\Phi_{2}(\vec{a})\rrbracket \in U \textrm{ iff } \llbracket \Phi_{1}(\vec{a})\rrbracket\cap \llbracket\Phi_{2}(\vec{a})\rrbracket \in U$$
$$\textrm{    iff}$$
\end{document}

can not solve with \textrm

Welcome to TeX.SE. Could you show us what you have tried so far in the form of a MWE. — Raaja_is_at_topanswers.xyz, May 03 '19 at 17:44
you most likely need a tab or tabular environment you need to provide enough of a small example.tex with those characters above for others to suggest which one is best for your code — , May 03 '19 at 17:46

score 3 · Accepted Answer · answered May 03 '19 at 18:13

You can use the align* environment from amsmath to get the alignment, and \DeclareMathOperator{\Iff}{iff} to make a new macro for iff. Note the & which indicates the alignment point, and the \\ to start a new line in the align*.

In general you should never use $$ .. $$ for display math in LaTeX, see Why is \[ ... \] preferable to $$ ... $$?.

\documentclass{article}
\usepackage{amsmath, amssymb}
\usepackage{stmaryrd}

\DeclareMathOperator{\Iff}{iff}
\begin{document}
\begin{align*}
\llbracket \Phi_{1}(\vec{a})\wedge\Phi_{2}(\vec{a})\rrbracket \in U & \Iff \llbracket \Phi_{1}(\vec{a})\rrbracket\cap \llbracket\Phi_{2}(\vec{a})\rrbracket \in U \\
& \Iff \llbracket\Phi_{i}(\vec{a})\rrbracket \in U \text{ for } i=1,2
\end{align*}
\end{document}

Thanks. I was able to solve it differently by using a table. — Horse, May 03 '19 at 18:41

score 1 · Answer 2 · answered May 03 '19 at 19:11

Another solution with array:

\documentclass{article}
\usepackage{amsmath, amssymb, array}
\usepackage{stmaryrd}

\begin{document}

\[ \setlength{\extrarowheight}{1ex}
\begin{array}{r!{\text{ iff }} >{\displaystyle}l}
\llbracket \Phi_{1}(\vec{a})\enspace \text{\&}\enspace \Phi_{2}(\vec{a})\rrbracket \in U & \llbracket \Phi_{1}(\vec{a})\rrbracket\cap \llbracket\Phi_{2}(\vec{a})\rrbracket \in U \\
& \llbracket\Phi_{i}(\vec{a})\rrbracket \in U \quad\text{for } i=1,2 \\
 & \prod_{i\in I}A_i/U \vDash \phi_i(\vec{a}/U)\quad\text{for } i=1,2 \\
 & \prod_{i\in I}A_i/U \vDash \phi_1(\vec{a}/U) \enspace \text{\&}\enspace \phi_2(\vec{a}/U)
\end{array}
    \]

\end{document}

Indentation Tex

2 Answers2