Grx.Key.EMPTYSET – grx-3.0 Reference Manual
Packages
grx-3.0
Grx
Key
EMPTYSET
EMPTYSET
Description:
EMPTYSET
U+2205 NULL SET