% Tikz File 'mytikz.tex'
\documentclass{standalone}
\usepackage{tikz, amsmath}
%\usetikzlibrary{...}
\begin{document}

\tikzset{every picture/.style={line width=0.75pt}} %set default line width to 0.75pt        
\begin{tikzpicture}[x=0.75pt,y=0.75pt,yscale=-1,xscale=1,scale=.8]
%uncomment if require: \path (0,300); %set diagram left start at 0, and has height of 300
%Shape: Boxed Line [id:dp9945654285047822] 
\draw [color={rgb, 255:red, 3; green, 142; blue, 0 }  ,draw opacity=1 ]   (124.2,65.1) -- (124.2,75.1) ;
%Shape: Boxed Line [id:dp9048396837689874] 
\draw [color={rgb, 255:red, 3; green, 142; blue, 0 }  ,draw opacity=1 ]   (162.53,90.2) -- (153.87,85.2) ;
%Shape: Boxed Line [id:dp14647963469901293] 
\draw [color={rgb, 255:red, 3; green, 142; blue, 0 }  ,draw opacity=1 ]   (135.86,83.95) -- (127.2,88.95) ;
%Shape: Polygon [id:ds13432191346993272] 
\fill [color={rgb, 255:red, 255; green, 146; blue, 249 } ] (154.2,13.13) -- (176.7,52.11) -- (199.2,91.08) -- (169.2,143.04) -- (139.2,195) -- (116.7,156.03) -- (94.2,117.06) -- (124.2,65.1) -- cycle ;
%Shape: Polygon [id:ds8724725061456662] 
\fill [color={rgb, 255:red, 186; green, 186; blue, 186 } ] (199.2,91.08) -- (229.2,143.04) -- (259.2,195) -- (199.2,195) -- (139.2,195) -- (169.2,143.04) -- cycle ;
%Shape: Polygon [id:ds6379714451810967] 
\fill [color={rgb, 255:red, 186; green, 186; blue, 186 }] (94.2,117.06) -- (116.7,156.03) -- (139.2,195) -- (94.2,195) -- (49.2,195) -- (71.7,156.03) -- cycle ;
%Straight Lines [id:da5205976931858829] 
\draw [color={rgb, 255:red, 99; green, 99; blue, 99 }  ,draw opacity=1 ][line width=1.5]    (94.2,117.06) -- (139.2,195) ;
%Straight Lines [id:da9235537995008225] 
\draw [color={rgb, 255:red, 99; green, 99; blue, 99 }  ,draw opacity=1 ][line width=1.5]    (199.2,91.08) -- (139.2,195) ;
%Straight Lines [id:da8376590904572487] 
\draw [line width=2.25]    (199.2,91.08) -- (154.2,13.13) -- (94.2,117.06) ;
\draw [shift={(94.2,117.06)}, rotate = 300] [color={rgb, 255:red, 0; green, 0; blue, 0 }  ][line width=2.25]    (0,4.7) -- (0,-4.7)   ;
\draw [shift={(199.2,91.08)}, rotate = 60] [color={rgb, 255:red, 0; green, 0; blue, 0 }  ][line width=2.25]    (0,4.7) -- (0,-4.7)   ;
%Straight Lines [id:da8171545170184942] 
\draw [line width=2.25]    (94.2,117.06) -- (49.2,195) -- (139.2,195) ;
\draw [shift={(139.2,195)}, rotate = 180] [color={rgb, 255:red, 0; green, 0; blue, 0 }  ][line width=2.25]    (0,4.7) -- (0,-4.7)   ;
\draw [shift={(94.2,117.06)}, rotate = 300] [color={rgb, 255:red, 0; green, 0; blue, 0 }  ][line width=2.25]    (0,4.7) -- (0,-4.7)   ;
%Straight Lines [id:da33319405561983895] 
\draw [line width=2.25]    (139.2,195) -- (259.2,195) -- (199.2,91.08) ;
\draw [shift={(199.2,91.08)}, rotate = 60] [color={rgb, 255:red, 0; green, 0; blue, 0 }  ][line width=2.25]    (0,4.7) -- (0,-4.7)   ;
\draw [shift={(139.2,195)}, rotate = 180] [color={rgb, 255:red, 0; green, 0; blue, 0 }  ][line width=2.25]    (0,4.7) -- (0,-4.7)   ;
%Shape: Boxed Line [id:dp596431745599598] 
\draw [color={rgb, 255:red, 99; green, 99; blue, 99 }  ,draw opacity=1 ]   (132.86,164.02) -- (125.36,151.03) -- (118.86,139.77) ;
\draw [shift={(117.86,138.04)}, rotate = 60] [color={rgb, 255:red, 99; green, 99; blue, 99 }  ,draw opacity=1 ][line width=0.75]    (10.93,-3.29) .. controls (6.95,-1.4) and (3.31,-0.3) .. (0,0) .. controls (3.31,0.3) and (6.95,1.4) .. (10.93,3.29)   ;
%Shape: Boxed Line [id:dp8631349881579269] 
\draw [color={rgb, 255:red, 99; green, 99; blue, 99 }  ,draw opacity=1 ]   (168.04,125.05) -- (160.54,138.04) -- (154.04,149.3) ;
\draw [shift={(153.04,151.03)}, rotate = 300] [color={rgb, 255:red, 99; green, 99; blue, 99 }  ,draw opacity=1 ][line width=0.75]    (10.93,-3.29) .. controls (6.95,-1.4) and (3.31,-0.3) .. (0,0) .. controls (3.31,0.3) and (6.95,1.4) .. (10.93,3.29)   ;
%Shape: Boxed Line [id:dp4243012856578212] 
\draw    (109.2,205) -- (94.2,205) -- (81.2,205) ;
\draw [shift={(79.2,205)}, rotate = 360] [color={rgb, 255:red, 0; green, 0; blue, 0 }  ][line width=0.75]    (10.93,-3.29) .. controls (6.95,-1.4) and (3.31,-0.3) .. (0,0) .. controls (3.31,0.3) and (6.95,1.4) .. (10.93,3.29)   ;
%Shape: Boxed Line [id:dp14298946641023802] 
\draw    (55.54,164.02) -- (63.04,151.03) -- (69.54,139.77) ;
\draw [shift={(70.54,138.04)}, rotate = 120] [color={rgb, 255:red, 0; green, 0; blue, 0 }  ][line width=0.75]    (10.93,-3.29) .. controls (6.95,-1.4) and (3.31,-0.3) .. (0,0) .. controls (3.31,0.3) and (6.95,1.4) .. (10.93,3.29)   ;
%Shape: Boxed Line [id:dp2733210390389147] 
\draw    (108.04,73.09) -- (115.54,60.1) -- (122.04,48.84) ;
\draw [shift={(123.04,47.11)}, rotate = 120] [color={rgb, 255:red, 0; green, 0; blue, 0 }  ][line width=0.75]    (10.93,-3.29) .. controls (6.95,-1.4) and (3.31,-0.3) .. (0,0) .. controls (3.31,0.3) and (6.95,1.4) .. (10.93,3.29)   ;
%Shape: Boxed Line [id:dp01152782308400413] 
\draw    (177.86,34.12) -- (185.36,47.11) -- (191.86,58.36) ;
\draw [shift={(192.86,60.1)}, rotate = 240] [color={rgb, 255:red, 0; green, 0; blue, 0 }  ][line width=0.75]    (10.93,-3.29) .. controls (6.95,-1.4) and (3.31,-0.3) .. (0,0) .. controls (3.31,0.3) and (6.95,1.4) .. (10.93,3.29)   ;
%Shape: Boxed Line [id:dp02231708296599666] 
\draw    (230.36,125.05) -- (237.86,138.04) -- (244.36,149.3) ;
\draw [shift={(245.36,151.03)}, rotate = 240] [color={rgb, 255:red, 0; green, 0; blue, 0 }  ][line width=0.75]    (10.93,-3.29) .. controls (6.95,-1.4) and (3.31,-0.3) .. (0,0) .. controls (3.31,0.3) and (6.95,1.4) .. (10.93,3.29)   ;
%Shape: Boxed Line [id:dp6379043627682581] 
\draw    (214.2,205) -- (199.2,205) -- (186.2,205) ;
\draw [shift={(184.2,205)}, rotate = 360] [color={rgb, 255:red, 0; green, 0; blue, 0 }  ][line width=0.75]    (10.93,-3.29) .. controls (6.95,-1.4) and (3.31,-0.3) .. (0,0) .. controls (3.31,0.3) and (6.95,1.4) .. (10.93,3.29)   ;
% Text Node
\draw (127.4,148.6) node [anchor=south west] [inner sep=0.75pt]  [color={rgb, 255:red, 99; green, 99; blue, 99 }  ,opacity=1 ]  {$\alpha $};
% Text Node
\draw (163.5,135.6) node [anchor=south east] [inner sep=0.75pt]  [color={rgb, 255:red, 99; green, 99; blue, 99 }  ,opacity=1 ]  {$\delta $};
% Text Node
\draw (94.2,208.4) node [anchor=north] [inner sep=0.75pt]    {$\alpha $};
% Text Node
\draw (61.04,147.63) node [anchor=south east] [inner sep=0.75pt]    {$\text{sort}( \alpha )$};
% Text Node
\draw (113.54,56.7) node [anchor=south east] [inner sep=0.75pt]    {$\gamma $};
% Text Node
\draw (187.36,43.71) node [anchor=south west] [inner sep=0.75pt]    {$\beta $};
% Text Node
\draw (239.86,134.64) node [anchor=south west] [inner sep=0.75pt]    {$\text{sort}( \delta )$};
% Text Node
\draw (199.2,208.4) node [anchor=north] [inner sep=0.75pt]    {$\delta $};
% Text Node
\draw (87.5,160.15) node [anchor=north west][inner sep=0.75pt]  [font=\footnotesize,color={rgb, 255:red, 99; green, 99; blue, 99 }  ,opacity=1 ]  {$\exists !$};
% Text Node
\draw (193.5,154.65) node [anchor=north west][inner sep=0.75pt]  [font=\footnotesize,color={rgb, 255:red, 99; green, 99; blue, 99 }  ,opacity=1 ]  {$\exists !$};
\end{tikzpicture}
\end{document}