Symbol: man_mdoc