A small mallet used by a presiding officer or a judge (synset 103435223)
is a type of: beetle, mallet - a tool resembling a hammer but with a large head (usually wooden); used to drive wedges or ram down paving stones or for crushing or beating or flattening or smoothing