Symbol: mandocdb