Template:*/doc

The * template is used to add bullets (example: &bull;) by substituting  &amp;bull;  automatically.

Usage
The recommended usage is to use spaces before and after the template. Isabelle * Rover

The template renders one space on each side of the bullet. Isabelle * Rover