rootSystemF4 -- the root system of type F4

For the programmer

The object rootSystemF4 is an instance of the type RootSystem.