equal
deleted
inserted
replaced
300 \begin{center} |
300 \begin{center} |
301 \smath{x \approx_{A} y \,\dn\, \forall z.\; x @ z \in A \Leftrightarrow y @ z \in A} |
301 \smath{x \approx_{A} y \,\dn\, \forall z.\; x @ z \in A \Leftrightarrow y @ z \in A} |
302 \end{center} |
302 \end{center} |
303 \end{itemize} |
303 \end{itemize} |
304 |
304 |
|
305 \only<2-> |
|
306 \begin{textblock}{9.9}(0.7,1.2) |
|
307 \begin{block}{} |
|
308 \begin{minipage}{9.4cm}\raggedright |
|
309 Two directions:\smallskip\\ |
|
310 |
|
311 1.) \\ |
|
312 2.) \\ |
|
313 \end{minipage} |
|
314 \end{block} |
|
315 \end{textblock}} |
|
316 |
305 \end{frame}} |
317 \end{frame}} |
306 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
318 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
307 |
319 |
308 *} |
320 *} |
309 |
321 |