\psset{unit=0.45cm}
%
\pspicture(-8,-12)(15,8)
% \showgrid
% The bipartition:
\psline[linewidth=0.1,linecolor=gray,linestyle=dashed,dash=3pt 2pt](0,-7)(0,7)
% 1
\rput(-6,-6){
\pspolygon[linewidth=0.4,linecolor=gray,linearc=0.75](0,0)(0,4)(4,4)(4,0)
\psarc[linewidth=0.15,linecolor=lightgray](2,4){1}{180}{0}
%\psarc[linewidth=0.15,linecolor=lightgray](2,0){1}{0}{180}
% The points
\psset{linewidth=0.15,linecolor=black,fillstyle=solid,fillcolor=white}
\pscircle[fillcolor=black](3,4){0.4}
\pscircle(1,4){0.4}
\pscircle(1,0){0.4}
\pscircle(3,0){0.4}
% orientations
\rput(1,4){\TRIdown{red}}
\rput(3,4){\TRIup{mfgreen}}
\rput(1,-2){\TRIup{mfgreen}}
\rput(3,-2){\TRIdown{red}}
}
% 2
\rput(-6,2){
\pspolygon[linewidth=0.4,linecolor=gray,linearc=0.75](0,0)(0,4)(4,4)(4,0)
\psline[linewidth=0.15,linecolor=lightgray](3,4)(3,0)
%\psline[linewidth=0.15,linecolor=lightgray](1,4)(1,0)
% The points
\psset{linewidth=0.15,linecolor=black,fillstyle=solid,fillcolor=white}
\pscircle[fillcolor=black](3,4){0.4}
\pscircle(1,4){0.4}
\pscircle(1,0){0.4}
\pscircle(3,0){0.4}
% orientations
\rput(1,4){\TRIup{mfgreen}}
\rput(3,4){\TRIup{mfgreen}}
\rput(1,-2){\TRIup{mfgreen}}
\rput(3,-2){\TRIup{mfgreen}}
}
% 3
\rput(2,2){
\pspolygon[linewidth=0.4,linecolor=gray,linearc=0.75](0,0)(0,4)(4,4)(4,0)
\psarc[linewidth=0.15,linecolor=lightgray](2,4){1}{180}{0}
\psline[linewidth=0.15,linecolor=lightgray](3,4)(3,0)
% The points
\psset{linewidth=0.15,linecolor=black,fillstyle=solid,fillcolor=white}
\pscircle[fillcolor=black](3,4){0.4}
\pscircle(1,4){0.4}
\pscircle(1,0){0.4}
\pscircle(3,0){0.4}
% orientations
\rput(1,4){\TRIup{mfgreen}}
\rput(3,4){\TRIdown{red}}
\rput(1,-2){\TRIup{mfgreen}}
\rput(3,-2){\TRIdown{red}}
}
% The involution
\psset{linewidth=0.2,linecolor=black}
\psline{c-c}(-2,4)(2,4)
%\psline{<->}(-2,-4)(2,-4)
%\psline{<->}(-2.25,2.25)(2.25,-2.25)
\psline{c-c}(-2.25,-2.25)(2.25,2.25)
%% The "generic" situation
\psset{fillstyle=none,linecolor=black,linewidth=0.2,linearc=0.2}
\def\smallobject#1{%
\pspolygon[fillcolor=#1](0,0)(3,0)(3,2)(0,2)
}
\pspolygon[linewidth=0.2,linecolor=lightgray,linearc=0.75](2,-11)(2,-3)(14,-3)(14,-11)(2,-11)
%
% The bipartition:
\psline[linewidth=0.15,linecolor=gray,linestyle=dashed,dash=3pt 2pt](8,-11)(8,-3)
% The left vertices:
\psset{fillstyle=solid}
\rput(3,-6){\smallobject{white}}
\rput(3,-10){\smallobject{gray}}
% The right vertices:
\rput(10,-7){\smallobject{white}}
\rput(10,-9){\smallobject{gray}}
% The involution
\psset{linewidth=0.075,linecolor=black}
%
\psline{c-c}(6.25,-5)(9.75,-6)
\psline{c-c}(6.25,-9)(9.75,-8)
% labels
\rput(4.5,-5){$\cnr{m}_1$}
\rput(4.5,-9){$\cnr{m}_2$}
%
\rput(11.5,-6){$\cnr{m}_1$}
\rput(11.5,-8){$\cnr{m}_2$}
\endpspicture
