doc: add other various symbols to the doc