User blog comment:Boboris02/MBOT/@comment-1605058-20161230135452/@comment-1605058-20161230135648

Also, what does the \(\exists\rho\Leftrightarrow\Delta_\kappa=\rho\) mean? "\(\rho\) exists iff \(\Delta_\kappa=\rho\)"? If so, what does that mean?