x
Colon-to notation — LessWrong