BUR #12090 has been approved by @nonamethanks.
create implication cross-shaped_pupils -> symbol-shaped_pupils
It is symbol-shaped, it is listed in the wiki under symbol-shaped_pupils, and all the rest of tags listed under that same tag implicates it.