Solved koan about symbols