Experiment with notation: <k:K> instead of <k/K>