1

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

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

  • 3
    Welcome to TeX.SE. Could you show us what you have tried so far in the form of a MWE. – Raaja May 3 at 17:44
  • 2
    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 – user170109 May 3 at 17:46
3

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 $$ ... $$?.

enter image description here

\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. – Lucas Bulhões May 3 at 18:41
1

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} 

enter image description here

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.