% data-cons-mult-set.tex --- Alloy set multiplicities -*-latex-*-

% Copyright (C) 2020 Amin Bandali <bandali@uwaterloo.ca>

% This file is part of Amin Bandali's MMath thesis.

% This thesis is free software: you can redistribute it and/or modify
% it under the terms of the GNU General Public License as published by
% the Free Software Foundation, either version 3 of the License, or
% (at your option) any later version.

% This thesis is distributed in the hope that it will be useful,
% but WITHOUT ANY WARRANTY; without even the implied warranty of
% MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
% GNU General Public License for more details.

% You should have received a copy of the GNU General Public License
% along with this thesis.  If not, see <https://www.gnu.org/licenses/>.


{
  \centering
  \renewcommand{\arraystretch}{1.2}
  \begin{tabular}{ll}
    \alloycode{x: set A}
    & \alloycode{x} becomes a subset of the set \alloycode{A} \\
    \alloycode{y: lone B}
    & \alloycode{y} can either be empty or a singleton subset of the
    set \alloycode{B} \\
    \alloycode{z: one C}
    & \alloycode{z} becomes a singleton subset of the set
    \alloycode{C}; equivalent to ~\alloycode{z: C} \\
    \alloycode{x: some D}
    & \alloycode{x} becomes a nonempty subset of the set \alloycode{D}
  \end{tabular}
}


%% Local Variables:
%% tex-main-file: "../bandali-mmath-thesis.tex"
%% End:
