Commit f3e58ab8a957cdf36bddef793c473664744885a7

Behdad Esfahbod 2018-06-12T19:32:04

[docs] Enlist misc new symbols