[idbehold]

You could use the empty-set character "∅" instead. At least it's less likely to occur.