xkbrc: add [∅✓✗] symbols