Weyl group of F4

GPTKB entity