KBD x
This HTML tag is used to define keyboard input.
i1 : html KBD "F11" o1 = <kbd>F11</kbd>
This is rendered in the browser as F11.
The object KBD is a markup type, with ancestor classes Hypertext < BasicList < Thing.