The number of symbols is very small so no need to auto-generate... but we can try to use mkdocs plugin too :)