Create symbols.html