% 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:dp1472053521872967] 
\draw [color={rgb, 255:red, 3; green, 142; blue, 0 }  ,draw opacity=1 ]   (119.56,65.1) -- (119.56,75.1) ;
%Shape: Boxed Line [id:dp4061594123128309] 
\draw [color={rgb, 255:red, 3; green, 142; blue, 0 }  ,draw opacity=1 ]   (157.89,90.2) -- (149.23,85.2) ;
%Shape: Boxed Line [id:dp7602210644560612] 
\draw [color={rgb, 255:red, 3; green, 142; blue, 0 }  ,draw opacity=1 ]   (131.22,83.95) -- (122.56,88.95) ;
%Shape: Polygon [id:ds6350071467028309] 
\fill [color={rgb, 255:red, 255; green, 146; blue, 249 }  ] (149.56,13.13) -- (202.06,104.07) -- (254.56,195) -- (194.56,195) -- (134.56,195) -- (112.06,156.03) -- (89.56,117.06) -- (119.56,65.1) -- cycle ;
%Shape: Polygon [id:ds4131290958337759] 
\fill [color={rgb, 255:red, 186; green, 186; blue, 186 } ]  (89.56,117.06) -- (112.06,156.03) -- (134.56,195) -- (89.56,195) -- (44.56,195) -- (67.06,156.03) -- cycle ;
%Straight Lines [id:da04926595455950289] 
\draw [color={rgb, 255:red, 99; green, 99; blue, 99 }  ,draw opacity=1 ][line width=1.5]    (89.56,117.06) -- (134.56,195) ;
%Straight Lines [id:da42914486327600176] 
\draw [line width=2.25]    (89.56,117.06) -- (44.56,195) -- (134.56,195) ;
\draw [shift={(134.56,195)}, rotate = 180] [color={rgb, 255:red, 0; green, 0; blue, 0 }  ][line width=2.25]    (0,4.7) -- (0,-4.7)   ;
\draw [shift={(89.56,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:da7520221032981764] 
\draw [line width=2.25]    (134.56,195) -- (254.56,195) -- (149.56,13.13) -- (89.56,117.06) ;
\draw [shift={(89.56,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={(134.56,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:dp3829204809729867] 
\draw [color={rgb, 255:red, 99; green, 99; blue, 99 }  ,draw opacity=1 ]   (128.22,164.02) -- (120.72,151.03) -- (114.22,139.77) ;
\draw [shift={(113.22,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:dp7842216986483046] 
\draw    (104.56,205) -- (89.56,205) -- (76.56,205) ;
\draw [shift={(74.56,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:dp4510946095677586] 
\draw    (50.9,164.02) -- (58.4,151.03) -- (64.9,139.77) ;
\draw [shift={(65.9,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:dp5501618643449631] 
\draw    (103.4,73.09) -- (110.9,60.1) -- (117.4,48.84) ;
\draw [shift={(118.4,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:dp8141353352818075] 
\draw    (203.22,86.08) -- (210.72,99.07) -- (217.22,110.33) ;
\draw [shift={(218.22,112.06)}, 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:dp5171675499759509] 
\draw    (209.56,205) -- (194.56,205) -- (181.56,205) ;
\draw [shift={(179.56,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 (122.76,148.6) node [anchor=south west] [inner sep=0.75pt]  [color={rgb, 255:red, 99; green, 99; blue, 99 }  ,opacity=1 ]  {$\beta $};
% Text Node
\draw (89.56,208.4) node [anchor=north] [inner sep=0.75pt]    {$\beta$};
% Text Node
\draw (56.4,147.63) node [anchor=south east] [inner sep=0.75pt]    {$\text{sort}(\beta)$};
% Text Node
\draw (108.9,56.7) node [anchor=south east] [inner sep=0.75pt]    {$\gamma $};
% Text Node
\draw (212.72,95.67) node [anchor=south west] [inner sep=0.75pt]    {$\nu $};
% Text Node
\draw (194.56,208.4) node [anchor=north] [inner sep=0.75pt]    {$\delta $};
% Text Node
\draw (82.86,160.15) 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}