I due punti sono classificati come operatore dalle impostazioni dei codici matematico dei vari segni, quindi hanno uno spazio pria e uno spazio dopo; \vedi file fontmath.ltx in …/tex/latex/base/
Invece \coon non è un segno del cuore di LaTeXl; onestamente non so dove sia definito, eppure in un angolo della memoria so che può essere definto come segno di interpunzione, ma non so dove. basterebbe comunque \scrivere in un qualunque file da compilare con LaTeX la riga`\show\colon` lanciare latex (o pdflatex) e poi andare a vedere che cosa significa la macro \colon. Magari è solo un mathcode e quindi è di difficile interpretazione, ma almeno si sa che non è undefined.
Dove l’ahi usato tu ha un significato logico di “tale che” o qualcosa di simile, quindi gli spazi prima e dopo ci vogliono proprio.