Name requested: GymnomitrulaMycologia 47 (6): 871, 872. Persoonia 3 (1): 85, 87, 88. Transactions of the Mycological Society of Japan 25 (2): 127.
Heterotypic synonym: HeyderiaMycologia 46 (2): 251. Mycotaxon 66: 433, 438. Persoonia 3 (1): 82, 84, 87, 89. Sydowia 32: 87. Transactions of the Mycological Society of Japan 25 (2): 140, 141, 142, 143, 145.