sets/quickref.tex
changeset 523 54bdda4aefa5
parent 333 91b427241f8f
equal deleted inserted replaced
522:d33698326409 523:54bdda4aefa5
     7 Operations on sets. Ex: UNION:\\
     7 Operations on sets. Ex: UNION:\\
     8 {\ex \lstinline|   s1 \| s2 |}
     8 {\ex \lstinline|   s1 \| s2 |}
     9 
     9 
    10 Other operations available:\\
    10 Other operations available:\\
    11 
    11 
    12 \begin{lstlising}
    12 \begin{lstlisting}
    13 \item "\&" -- Intersection
    13 \item "\&" -- Intersection
    14 \item "-" -- Difference
    14 \item "-" -- Difference
    15 \item "\^" -- Symmetric Difference
    15 \item "\^" -- Symmetric Difference
    16 \item "<" -- Subset
    16 \item "<" -- Subset
    17 \end{lstlisting}
    17 \end{lstlisting}