Add new symbols from 17.11.3